Everything you need to make type classes first class. - View it on GitHub