Added some notes about testing monadic code. :angel: