Move HKT types from api to api.hkt package

Co-authored-by: Garciat <118277+Garciat@users.noreply.github.com>

Author: Copilot

src/main/java/com/garciat/typeclasses/Main.java

@@ -6,13 +6,13 @@
 import static com.garciat.typeclasses.impl.Functions.flip;
 import static java.util.function.Function.identity;
 
-import com.garciat.typeclasses.api.Kind;
-import com.garciat.typeclasses.api.Kind.KArr;
-import com.garciat.typeclasses.api.Kind.KStar;
-import com.garciat.typeclasses.api.TApp;
-import com.garciat.typeclasses.api.TPar;
-import com.garciat.typeclasses.api.TagBase;
 import com.garciat.typeclasses.api.TypeClass;
+import com.garciat.typeclasses.api.hkt.Kind;
+import com.garciat.typeclasses.api.hkt.Kind.KArr;
+import com.garciat.typeclasses.api.hkt.Kind.KStar;
+import com.garciat.typeclasses.api.hkt.TApp;
+import com.garciat.typeclasses.api.hkt.TPar;
+import com.garciat.typeclasses.api.hkt.TagBase;
 import com.garciat.typeclasses.impl.Lists;
 import com.garciat.typeclasses.impl.Maps;
 import java.lang.reflect.GenericArrayType;
@@ -40,9 +40,6 @@ public final class Main {
   private Main() {}
 }
 
-// ==== Type System ====
-// Kind, TApp, TPar, TagBase are now in com.garciat.typeclasses.api package
-
 // Internal type parsing
 sealed interface ParsedType {
   record Var(TypeVariable<?> java) implements ParsedType {}

…va/com/garciat/typeclasses/api/Kind.java …om/garciat/typeclasses/api/hkt/Kind.javasrc/main/java/com/garciat/typeclasses/api/Kind.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/Kind.java src/main/java/com/garciat/typeclasses/api/Kind.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/Kind.java

@@ -1,4 +1,4 @@
-package com.garciat.typeclasses.api;
+package com.garciat.typeclasses.api.hkt;
 
 public interface Kind<K extends Kind.Base> {
   sealed interface Base permits KStar, KArr {}

…va/com/garciat/typeclasses/api/TApp.java …om/garciat/typeclasses/api/hkt/TApp.javasrc/main/java/com/garciat/typeclasses/api/TApp.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TApp.java src/main/java/com/garciat/typeclasses/api/TApp.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TApp.java

@@ -1,3 +1,3 @@
-package com.garciat.typeclasses.api;
+package com.garciat.typeclasses.api.hkt;
 
 public interface TApp<Tag extends Kind<Kind.KArr<Kind.KStar>>, A> extends Kind<Kind.KStar> {}

…va/com/garciat/typeclasses/api/TPar.java …om/garciat/typeclasses/api/hkt/TPar.javasrc/main/java/com/garciat/typeclasses/api/TPar.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TPar.java src/main/java/com/garciat/typeclasses/api/TPar.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TPar.java

@@ -1,4 +1,4 @@
-package com.garciat.typeclasses.api;
+package com.garciat.typeclasses.api.hkt;
 
 public interface TPar<Tag extends Kind<Kind.KArr<Kind.KArr<Kind.KStar>>>, A>
     extends Kind<Kind.KArr<Kind.KStar>> {}

…com/garciat/typeclasses/api/TagBase.java …garciat/typeclasses/api/hkt/TagBase.javasrc/main/java/com/garciat/typeclasses/api/TagBase.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TagBase.java src/main/java/com/garciat/typeclasses/api/TagBase.java renamed to src/main/java/com/garciat/typeclasses/api/hkt/TagBase.java

@@ -1,3 +1,3 @@
-package com.garciat.typeclasses.api;
+package com.garciat.typeclasses.api.hkt;
 
 public abstract class TagBase<K extends Kind.Base> implements Kind<K> {}

src/main/java/module-info.java

@@ -1,4 +1,5 @@
 module com.garciat.typeclasses {
   exports com.garciat.typeclasses.api;
+  exports com.garciat.typeclasses.api.hkt;
   exports com.garciat.typeclasses;
 }