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’