2 ms·
> The above function enforces that getting a user can fail and you must contact the outside world to get a user. That seems sort of backwards. It enforces tha
by dllthomas 10y ago
> The above function enforces that getting a user can fail and you must contact the outside world to get a user.
That seems sort of backwards. It enforces that the caller be able to handle failure (and similar for IO). It may well be that "getting a user" doesn't do either (e.g. `pure (pure defaultUser)`)