ouch, a !! and a fromJust. you should document why this will never fail either of these functions