GenCannotDoRep0_2.hs:13:1: error: [GHC-30367]
    • Can't make a derived instance of ‘Generic (Term a)’:
        Int must be a vanilla data constructor
    • In the stand-alone deriving instance for ‘Generic (Term a)’