data SchemaKind :: forall k. k -> Type
data SchemaKind a 

foreign import data Prim :: forall a. a -> SchemaKind a
foreign import data Obj :: forall a. SchemaKind a
foreign import data Arr :: forall a. SchemaKind a
foreign import data Null :: forall a. SchemaKind a

newtype Leibniz :: forall k. k -> k -> Type
newtype Leibniz a b = Leibniz (forall f. f a -> f b)

infix 4 type Leibniz as ~

data Primitive a 
  = SInt (a ~ Int)
  | SString (a ~ String)
  | SBool (a ~ Boolean)
  | SNumber (a ~ Number)

data Lens a b = Lens (a -> b) (b -> a -> a)

data Schema t  r t2
  = SPrimitive (Primitive t) (Lens r t) (t ~ Prim t)

data Schema t  r t2
  = SPrimitive (Primitive t) (Lens r t) t

foreign import data Exists2 :: (Type -> Type -> Type) -> Type

mkExists2 :: forall f a b. f a b -> Exists2 f
mkExists2 = unsafeCoerce

runExists2 :: forall f r. (forall a b. f a b -> r) -> Exists2 f -> r
runExists2 = unsafeCoerce

foreign import data Prim :: forall a. a -> Type
foreign import data Obj :: Type
foreign import data Arr :: Type
foreign import data Null :: Type

newtype Leibniz :: forall k. k -> k -> Type
newtype Leibniz a b = Leibniz (forall f. f a -> f b)

infix 4 type Leibniz as ~

data Primitive a 
  = SInt (a ~ Int)
  | SString (a ~ String)
  | SBool (a ~ Boolean)
  | SNumber (a ~ Number)

data Lens a b = Lens (a -> b) (b -> a -> a)


data SchemaListItemF t s k = SchemaListItemF (Schema s t k)

newtype SchemaListItem t = SchemaListItem (Exists2 (SchemaListItemF t))

data K

data Schema t r t2
  = SPrimitive (Primitive t) (Lens r t) (t ~ Prim t)
  | SObject (Array (SchemaListItem t)) (Lens r t) (t ~ Obj)
  | SArray (Schema K r t) (Lens r (Array t)) (Tuple (t ~ Arr) (t2 ~ Array t))
  | SNull (Schema K r t) (Lens r (Maybe t)) (Tuple (t ~ Null) (t2 ~ Maybe t))

spago bundle-app -x