Data.Traversable.Constrained

class Traversable s t k l

forM

type EndoTraversable t k

haskTraverse