[jhanschoo]

Is there really a need to distinguish between types and typeclasses though?

You can have a notion of type and inheritance where Monad is a type, and Lists, Promises, Option, etc. are subtypes of Monad.