unison/unison-src/transcripts/ability-order-doesnt-affect-hash.md

The order of a set of abilities is normalized before hashing.

unique ability Foo where
  foo : ()

unique ability Bar where
  bar : ()

term1 : () ->{Foo, Bar} ()
term1 _ = ()

term2 : () ->{Bar, Foo} ()
term2 _ = ()

scratch/main> add
scratch/main> names term1