New utilities for assertions in monads.
Merge pull request #2 from Xeno-Genesis/master

New utilities for assertions in monads.