type casting scopes arity=0