with ghc-9.2: Non type-variable argument in the constraint: TypeCast f HTrue

[jwaldmann]

cabal -w/opt/ghc/ghc-9.2.1.20220211/bin/ghc test
...
Data/AttoLisp.hs:358:10: error:
    • Non type-variable argument in the constraint: TypeCast f HTrue
      (Use FlexibleContexts to permit this)
    • In the instance declaration for ‘IsFunction (x -> y) f’
    |
358 | instance TypeCast f HTrue => IsFunction (x -> y) f
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^