It is in an actual language! It's called ML! And modules are better for abstraction than type classes.