export PartialOrd
Merge pull request #145 from csherratt/master

export PartialOrd