purescript-codemirror Bindings to the Codemirror editor which I didn't end up using but could be a good starting point for others.