TFree

std

TVar

std

Term

std

Typ

std

Type

std

t

Success Success

tagged

Codec

termCodec

Term

transform

Codec

triple

Codec

tum

edu

tuple

Codec

typ

Abs Const Free Var

typCodec

Typ