tcfail005.hs:3:
    Couldn't match the type `[a12u]' against `(a12y, a12A)'
    Expected: [a12u]
    Inferred: (a12y, a12A)
    In a pattern binding: (h : i) = (1, ('a'))


Compilation had errors