FlatMap
shims
Functor
shims
flatMap
FlatMap
flip
Permute2
PermuteH2