data T $(deriveGeneric1 ''T) instance Traversable T where traverse = genericTraverseNote that, contrary to many other classes in linear-base, we can't define `Traversable T` using deriving via, because the role of t, in the type of traverse, is nominal.