Comment by Ygg2

Sure, but it is pragmatic in other ways as well :)

It takes ADT, but not function currying, and so on.