Data.MTraversable

type family AppMap fs t

type family Domains fs

type family Codomains fs

class MTraversable f fs t

mtraverse

msequence