Data.Cond

data CondT a m b

type Cond a

Executing CondT

Promotions

Boolean logic

Basic conditionals

Helper functions

Isomorphism with a stateful EitherT

data CondEitherT a m b