Practical Profunctor Optics in PureScript