PureScript settings