adamc@834: val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
adamc@834:            -> $(map m ts) -> folder ts -> m $ts