Hi all, Is it possible to export constructors from a module in a way that they can be used for pattern matching but not for creating types? Patrick -- ===================== Patrick LeBoutillier Rosemère, Québec, Canada