GlorifiedTuple
scalaz
generatorMonad
ComprehensionMonadGenerator
getUnderlying
Monadic