{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}

module Data.TypedEncoding.Unsafe (
     module Data.TypedEncoding.Internal.Types.Unsafe
  ) where

import           Data.TypedEncoding.Internal.Types.Unsafe