summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
blob: cfe0ef8e121bf9ef5a4fd5304afd26fa07854a20 (plain)
1
2
val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
           -> $(map m ts) -> folder ts -> m $ts