Data.Traversable.Constrained

class Traversable s t k l

sequence

mapM

forM