Bug with switch based on xtl subtyping