<div dir="ltr">
<div>I'm inclined to believe that this is a bug in the way that GHC 
typechecks type applications in patterns. Can you file a GHC issue about
 this?</div><div><br></div><div>Ryan</div>

</div>