tcfail047.hs:6: The type `(a, (b, c))' cannot be used as an instance type tcfail047.hs:2: Module Main must include a definition for `Main.main' Compilation had errors