darkly
darkly copied to clipboard
lattice specialisation
We need specialisation with the 'lattice rule' to offer a nice inference-based API which can use the same functions for scanning T as Result<T>.