Parametrized types to the rescue!