Agda.Utils.ListT
data ListT m a
nilListT
consListT
sgListT
caseListT
foldListT
concatListT
runMListT
consMListT
sgMListT
mapMListT
mapMListT_alt
liftListT