extract :: PTerm  -- ^ Where to extract names from
        -> [Name] -- ^ Extracted names
extract                               = extractPTermNames
extract :: PTerm  -- ^ Where to extract names from
        -> [Name]
extract                               = extractPTermNames
extract                               = extractPTermNames