j
k
j a
j l
data Type = ForallT [Name] Cxt Type | VarT ConT Cons | AppT Type Type
obviously I meant data Type = ForallT [Name] Cxt Type | VarT Name | ConT Cons | AppT Type Type
Back to the thread
Back to the list
