{-# LANGUAGE DataKinds, ExistentialQuantification, FlexibleContexts, GADTs #-}
{-# LANGUAGE PolyKinds, RankNTypes, TypeFamilies, TypeOperators            #-}
{-# LANGUAGE UndecidableInstances, CPP                                          #-}
module Monomorphic (module Data.Type.Monomorphic) where
import Data.Type.Monomorphic