Comment by ackfoobar

Unless you reach an unsound part of the type system I don't see how. Could you provide an example?