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, Pro

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.