Minor GHC-only supplements to "Data.Peano".