F
PartialAppliedMonadic
fTree
MonadicTransformer
freshName
MonadicTransformer