Am 21.12.20 um 21:04 schrieb Oleg Grenrus: > lattice package has 'not': > https://hackage.haskell.org/package/lattices-2.0.2/docs/Algebra-Heyting.html#v:neg Oh, nice! (Though 'neg' is not quite as suggestive as 'not'.)