PureScript foreign library definitions