In the following diagram, it is not possible to drag Y on to the end of the arrow, despite it being empty.

In such a situation, it makes sense to allow Y to be dragged on top of the empty node.

Pretty-print GATs as LaTeX in both of the following styles:

1. Cartmell-style linear notation

2. natural-deduction-style tree notation
   <img width="680" alt="image" src="/sitelet?url=https%3A%2F%2Fweb.archive.org%2Fweb%2F20201021212856im_%2Fhttps%3A%2F%2Fgithub.com%2Ftopics%2F%253Ca%2520href%3D"/sitelet?url=https%3A%2F%2Fweb.archive.org%2Fweb%2F20201021212856%2Fhttps%3A%2F%2Fuser-images.githubusercontent.com%2F316610%2F91097121-f953b080-e613-11ea-8dda-8da598" rel="nofollow">https://user-images.githubusercontent.com/316610/91097121-f953b080-e613-11ea-8dda-8da598

Complete algorithm: http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html

Do you intend to implement some of the functions Scott Wlaschin has in its AsyncResult/Result modules, e.g.

AsyncResult.catch
AsyncResult.ofAsync
AsyncResult.ofSuccess
AsyncResult.ofError
AsyncResult.ofResult?

https://github.com/swlaschin/DomainModelingMadeFunctional/blob/master/src/OrderTakingEvolved/Result.fs

• untabify
• indent
• align where needed