sub max (::Type *$first, Type *@rest --> Type) { ... }