    -- |
    -- Module      : Data.Functor.ProductIsomorphic.Unsafe
    -- Copyright   : 2017 Kei Hibino
    -- License     : BSD3
    --
    -- Maintainer  : ex8k.hibino@gmail.com
    -- Stability   : experimental
    -- Portability : unknown
    --
    -- This module defines unsafe class interfaces.
    module Data.Functor.ProductIsomorphic.Unsafe (
      ProductConstructor (..),
      ) where

    -- | Define product isomorphic inference rule
    --   to specify record constructor
    class ProductConstructor c where
      productConstructor :: c