Testing monad operations
Added support to partially apply all args, returning a P1
Show that monad is not type safe