Agda.TypeChecking.Monad.SizedTypes
data SizeView