Data.Traversable.Constrained

class Traversable s t k l

sequence

forM

type EndoTraversable t k