liquidhaskell-0.8.10.7: typeclass-tests/Data/PNat.hs

module Data.PNat where
data PNat = Z | S PNat