A type class which captures stack-safe monadic tail recursion - View it on GitHub