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