A functional programming library that supports type classes.