Agda.TypeChecking.SizedTypes
data SizeExpr