`HasMethod` has odd pattern matching issues in Daml error checker

[dylant-da]

[dylant-da]

#153 (comment)

[akrmn]

I haven't verified this but I think the extra type arguments at the front of HasMethod {-here-} i m r might be the kinds of i and r; since m is specified as kind Symbol, GHC might be implicitly generalizing i and r to any kind rather than just Type/*, hence the need for the extra arguments.