[Haskell-cafe] Local types

[Imants Cekusins]

is this possible to implement hiding (suppress export) of all
instances defined in current module?

something like:

module A (
 (-)
) where

like this, or with a Language pragma (top of the module or just above
the instance)?