module Type.InstanceMap (
  module Type.InstanceMap.TH
) where 

import Data.Proxy
import Data.Typeable
import qualified Data.Map.Strict as M
import Type.InstanceMap.TH