I figured if we were going to do fromJust it should use throwError and have the effect, the intention is this would never be exported from the module (when we can do that).

It could definitely be changed for a pattern match though. I was thinking ahead to when there is an exhaustivity checker, but I guess it wouldn't necessarily be an error to have a partial match.