diff --git a/cyclops/src/main/java/com/oath/cyclops/hkt/Higher.java b/cyclops/src/main/java/com/oath/cyclops/hkt/Higher.java
deleted file mode 100644
index f97f9045a2..0000000000
--- a/cyclops/src/main/java/com/oath/cyclops/hkt/Higher.java
+++ /dev/null
@@ -1,35 +0,0 @@
-package com.oath.cyclops.hkt;
-
-import io.kindedj.Hk;
-
-import java.util.function.BiFunction;
-import java.util.function.Function;
-
-
-
-/**
- * Higher Kinded Type - a core type (e.g. a List) and a data type of the elements within the List (e.g. Integers).
- *
- *
- * @author johnmcclean
- *
- * @param <T1> Core type
- * @param <T2> Data type of elements in Core Type
- */
-public interface Higher<T1,T2> extends Convert<Higher<T1,T2>>, Hk<T1,T2> {
-
-
-    default <T3,R> Higher<T1,R> applyHKT_(BiFunction<? super T3,? super Higher<T1,T2>,? extends Higher<T1,R>> biFn, T3 param ){
-        return biFn.apply(param,this);
-    }
-    default <R> Higher<T1,R> applyHKT(Function<? super Higher<T1,T2>,? extends Higher<T1,R>> fn){
-        return fn.apply(this);
-    }
-
-    default <T3,R> Higher<T1,R> applyHKT(T3 param, BiFunction<? super Higher<T1,T2>,? super T3,? extends Higher<T1,R>> biFn ){
-        return biFn.apply(this,param);
-    }
-
-
-
-}
diff --git a/cyclops/src/main/java/com/oath/cyclops/hkt/HigherDefault.java b/cyclops/src/main/java/com/oath/cyclops/hkt/HigherDefault.java
new file mode 100644
index 0000000000..577f915a67
--- /dev/null
+++ b/cyclops/src/main/java/com/oath/cyclops/hkt/HigherDefault.java
@@ -0,0 +1,30 @@
+package cyclops.hkt
+
+import io.kindedj.Hk
+
+import java.util.function.BiFunction
+import java.util.function.Function
+
+
+
+/**
+ * Higher Kinded Type - a core type (e.g. a List) and a data type of the elements within the List (e.g. Integers).
+ *
+ *
+ * @credits - johnmcclean
+ *
+ * @param <T1> Core type
+ * @param <T2> Data type of elements in Core Type
+ */
+public interface Higher<T1,T2> extends <Higher<T1,T2> Hk<T1,T2> {
+
+
+    default = <T3,R> Higher<T1,R> applyHKT_(BiFunction>?) super T3? super Higher<T1,T2>? extends Higher<T1,R> T3 param ){
+        return apply(param,this)
+    }
+    default <R> Higher<T1,R> applyHKT(Function>?) super Higher<T1,T2>? extends Higher<T1,R>? 
+        return apply(this)
+    
+   default <T3,R> Higher<T1,R> applyHKT(T3 param,super Higher<T1,T2>,? super T3,? extends Higher<T1,R>{
+        return apply(this,param)
+       }