1 2 3 4
Overlap4.hs:7:3: Number of parameters must match family declaration; expected 2 In the type family declaration for âFâ