Full generification of Monad signature
Cosmetic cleaning (formatting, etc.)
Added usage informations in README