Criterion.Monad
data Criterion a