map
Transformer
monadic
cg