#31 Resolve and validate Function return types