Re: Proposal to deprecate and then drop fromJust

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.