DDC.Control.Monad.Check

data CheckM s err a

throw

runCheck

evalCheck

get

put