tcfail004.hs:3:
    Couldn't match the type `(aWn, aWp, aWr)' against `(aWi, aWl)'
	Expected: (aWn, aWp, aWr)
	Inferred: (aWh, aWk)
	In a pattern binding: (f, g) = (1, 2, 3)


Compilation had errors