ir

type BasicType struct {
	Name string
}

type ConcreteType struct {
	AbstractTy Type
	Args       []Type
}

type DataDecl struct {
	Name         string
	TypeVarCount int
	Conss        []*ValCons
}

type Decl interface {
}

type File struct {
	Decls []Decl
}

type NamedType struct {
	Name string
}

type Type interface {
}

type TypeVar struct {
	Num int
}

type ValCons struct {
	Name   string
	Params []Type
}