Hi David,

> It seems to me that instead of working around this, we should add a pragma
> to suppress the warning at the pattern site. Maybe something like
>
> let
>  {-# PARTIAL_MATCH #-}
>  Just a = blah blah
>
> That way GHC can see that you noticed the partial match and that you're
> okay with it.

This sounds lovely to me!