Closed gwils closed 6 years ago
Its JoinSemiLattice instance is different (and cannot be expressed in terms of Levitated)
ah, I see. The Flat
name makes sense.
I'm no longer sure I'm happy with the name Flat.
I think that name is used for partial orders that only have bottom and then one row of elements, all incomparable to each other. This structure has a top as well, to make it a join-semilattice. So I think it would be wrong to use the name Flat. I'll have to think of another one. I'm open to suggestions :)
I'm going to work on this further and open a new PR later.
Happy to accept suggestions for better type or constructor names, or missing instances :)