This is Haskell's `fromJust`. Maybe we should just move it into `Maybe`.