Since we proved that `element` is always of type `Parameter`, we know
that it will always respond to `permit`, so lets remove this conditional