Ord semilattice example

[danieljharvey]

Example showing how the fp-ts Ord class can be used to make a working semilattice. Need to add notes on why this is useful/interesting.