Rule problem

How to get around type erasure? Is it necessary?