--concrete ExtraPol of ExtraPolAbs = CatPol ** {
--
-- }