Wrap a lazy value P1 and run, catching any exceptions
Renamed Identity.empty to idUnit
Test OptionMonad against Option for map, flatMap, sequence and join
Added monad combinators to List via extension module
Added type checked warning to test code for monads