T21605d.hs:3:9: error: [GHC-37479]
    ‘Prelude.id’ is a term-level binding
     and can not be used at the type level.
    Suggested fix:
      Perhaps use one of these:
        data constructor ‘Prelude.EQ’ (imported from Prelude),
        type constructor or class ‘Prelude.Eq’ (imported from Prelude),
        data constructor ‘Prelude.GT’ (imported from Prelude)