Module prelude
mona
The operation that flattens nested container types.
Transposition of nested container types.