WIP user-specified custom typesuser-types

The big roadblock encountered is that accumulation wants addition of
monoids to be elementwise float addition; this fundamentally clashes
with the concept of a user type with a custom zero and plus.

1 files changed, 15 insertions, 0 deletions

diff --git a/src/CHAD/AST.hs-boot b/src/CHAD/AST.hs-boot
new file mode 100644
index 0000000..d1b8a62
--- /dev/null
+++ b/src/CHAD/AST.hs-boot
@@ -0,0 +1,15 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE RoleAnnotations #-}
+{-# LANGUAGE StandaloneKindSignatures #-}
+module CHAD.AST where
+
+import Data.Functor.Const (Const)
+import Data.Kind (Type)
+
+import CHAD.AST.Types.Ty
+
+type role Expr representational nominal nominal
+type Expr :: (Ty -> Type) -> [Ty] -> Ty -> Type
+data Expr x env t
+
+type Ex = Expr (Const ())