as -> value, return types