module Data.Pf where

data Pf a where