Types and type classes 2020-04-06 The world seems to be divided up into things, but not all things are interchangable.