fix web/demos/SimpleRefinements.hs