An instance of a class is an individual object which belongs to that class . In Haskell, the class system is (roughly speaking) a way to group similar types. (This is the reason we call them “type classes”). An instance of a class is an individual type which belongs to that class.