T8759.hs:9:2: warning:
    PatSynI T8759.P (ForallT [] [] (ForallT [] [] (TupleT 0)))