path: root/testsuite/tests/gadt/T3163.stderr

T3163.hs:8:5:
    Illegal polymorphic or qualified type: forall s. s
    In the definition of data constructor ‘Unreached’
    In the data declaration for ‘Taker’