Fix monad cascade
Add test main
Add monadic_optional test
Fix compile error