1 2 3 4 5
T2888.hs:7:1: error: • The associated type ‘D’ mentions none of the type or kind variables of the class ‘C w’ • In the class declaration for ‘C’