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