A functional programming library that supports typeclasses.