GenCannotDoRep0_2.hs:13:1:
    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)’