Скрыть конструктор, но не тип при импорте

У меня есть внутренний модуль, для которого я хотел бы предоставить внешний API

module Positive.Internal where



newtype Positive a = Positive { getPositive :: a }

  deriving (Eq, Ord)



-- smart constructor

toPositive :: (Num a, Ord a) => a -> Maybe (Positive a)

toPositive a | a <= 0    = Nothing

             | otherwise = Just $ Positive a

-- ...

Я хочу скрыть тупой конструктор и заменить его однонаправленным
чтобы пользователи все еще могли сопоставлять значения шаблону, им просто нужно использовать интеллектуальный конструктор для использования новых значений.

Поскольку я хочу, чтобы шаблон и тупой конструктор использовали одно и то же имя, мне нужно скрыть тупой конструктор, чтобы предотвратить столкновения пространств имен.

Однако, поскольку тупой конструктор и тип совместно используются имена, это немного сложно импортировать все, кроме тупого конструктора.

В настоящее время я делаю это, что работает нормально:

{-# LANGUAGE PatternSynonyms #-}

module Positive

  ( module Positive.Internal, pattern Positive

  ) where



import Positive.Internal (Positive())

import Positive.Internal hiding (Positive)

import qualified Positive.Internal as Internal



pattern Positive :: a -> Positive a

pattern Positive a <- Internal.Positive a

Есть ли способ в одном операторе импорта импортировать все Positive.Internal, кроме немого конструктора?

Я пробовал hiding (Positive(Positive)), но это скрывало и тип, и тупой конструктор. Я покопался в Вики , но я не заметил никакого способа различайте конструкторы и типы в списках hiding.