Merge pull request #2 from Xeno-Genesis/master

New utilities for assertions in monads.
Remove unnecessary helpers