f, g :: a -> a
(f, g) = (id, id)

    Couldn't match expected type `forall a. a -> a'
           against inferred type `a -> a'
    In the expression: id
    In the expression: (id, id)
    In a pattern binding: (f, g) = (id, id)