Control.Monad.Constrained.Ap

class Monad f

class MonadFail f

data Codensity f a

data ConstrainedWrapper f a

return

ifThenElse

(>>)

type Initial

type Final

class FreeApplicative ap f