Unison 1.5.0 released with support for GADTs

1 points by skykanin

Here are the official docs for GADTs and indexed abilities.