Control.Eff.Operational.Example

data Jail a

prog

adventIO

adventPure