T16762b.hs:8:11: error:
    Illegal kind: forall k. Type
    Did you mean to enable PolyKinds?