Proposal to deprecate and then drop fromJust

[Henning Thielemann]

On Tue, 24 Feb 2015, Ivan Lazar Miljenovic wrote:

> I've used fromJust in the past when I knew the value would be Just by
> construction.

If you know that the value is always Just by construction, why don't you 
express this with the types, i.e. by turning from 'Maybe a' to 'a'? When 
asking this question myself I could remove fromJusts in most cases. The 
problem is most oftenly that you drop the information that a value is Just 
too early and then you cannot recover it later.