typClasses 2.0