PureScript implementation of lens