Comment by AxelLuktarGott

Is it really better to remove the error case information from the type signature? Aren't we losing vital information here?