Add purescript 0.5.7.1