update for newer purescript