Agda.TypeChecking.Monad.SizedTypes
isSizeType
isSizeNameTest
isSizeTypeTest
sizeType
sizeSuc
data SizeView
sizeView
unSizeView