1module Main where
2
3import Effect.Console (log)
4
5import Lib
6
7class ClassA :: Type -> Type -> Constraint
8class ClassA t a
9
10class ClassB :: Type -> Type -> Constraint
11class ClassA t a <= ClassB t a
12
13data VariantF :: (Type -> Type) -> Type
14data VariantF fs
15data Expr
16
17instance a :: ClassA Expr (VariantF UNIT)
18instance b :: ClassB Expr (VariantF UNIT)
19
20main = log "Done"
21