Proposal to deprecate and then drop fromJust

[Herbert Valerio Riedel]

On 2015-02-24 at 12:32:14 +0100, Michael Snoyman wrote:
> We could also automatically detect basic partiality, like incomplete
> pattern matches, and add partiality warnings. Depending on how much work
> that is, it may be easier than trying to mark up all of base
> correctly.

You'd still need a way to greenlight false positives. I.e. cases where
the code *seems* to have unhandled pattern matches which can't happen,
but which GHC can't prove them not to be unhandled...