a little bit of fun: verifying the collatz conjecture using monads ^^