diff --git a/src/generic/native.ts b/src/generic/native.ts
new file mode 100644
index 0000000..b8290ae
--- /dev/null
+++ b/src/generic/native.ts
@@ -0,0 +1,2 @@
+export * from './arithmetic.js'
+export * from './relational.js'
diff --git a/src/generic/relational.ts b/src/generic/relational.ts
new file mode 100644
index 0000000..7e02eed
--- /dev/null
+++ b/src/generic/relational.ts
@@ -0,0 +1,11 @@
+import {Dependency, ImpType} from '../core/Dispatcher.js'
+
+declare module "./type" {
+   interface GenericImpTypes<T> {
+      unequal: (a: T, b:T) => boolean
+   }
+}
+
+export const unequal =
+   <T>(dep: Dependency<'equal', [T,T]>): ImpType<'unequal', [T, T]> =>
+   (a, b) => !dep.equal(a, b)