Introduce the `M` monad properly.
Remove any mention of the `Shapely` class, since it's not used in the
definition
Fix some indentation in the code for Push arrays