match_at_type.lean:4:23: error: invalid instance, pattern matching cannot be used in the type of anonymous instance declarations
match_at_type.lean:7:0: warning: declaration 'I1' uses sorry
match_at_type.lean:10:0: warning: declaration 'I2' uses sorry
