To be more specific: type classes are like generic interfaces with type guards and default implementations.