WIP. Does not work.
Fixing issue with Proc Monad. The bind operation was broken. Removed the useless constructor.