total pattern match
polyvars!