rel #4: convert high-level tests to PureScript