Type class C class Parameters: t -- a type Methods: m : C t => t member of class The function is Total Instances: C A instance of class C (D a b) another instance of class a -- parameter type