module ProAbstract.Tag.TaggedFamily ( Tagged ) where data family Tagged con