$ 0 0 I guess you have to use scoped polymorphic types for that. Actually I can’t tell you why it differs between your examples.