use a Constraint Kind to define monad dependencies in one place
Logging calls and return values
Merge pull request #1 from JPMoresmau/master

Logging