For the curious, [0].

[0] https://github.com/zrho/purescript-optic-ui