traverse package:linear-base

Implementation of traverse for types which derive (linear) Generic1. ### Performance note At present, this function does not perform well for recursive types like lists; it will not specialize to either ### Example

data T
$(deriveGeneric1 ''T)

instance Traversable T where
traverse = genericTraverse

Note 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.