pointless-rewrite-0.0.3: src/Data/Pf.hs-boot

module Data.Pf where

data Pf a where