GenCannotDoRep2.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)'