follow ghcjs-base changes and add an example