Control.Eff.Choose

data Choose a

choose

makeChoice

mzero'

mplus'