Type

data TypeDec

tvar

vopTApp

vopParam

toDocT