There are more types than classes
typelevel.org