T14048a.hs:6:1: error:
    • Data type has non-* return kind ‘Constraint’
    • In the data declaration for ‘Foo’