Type error: Unhandled error: EquivalenceArgumentsMustBeTerms