strongweak-0.5.0: src/Strongweak/Util/Typeable.hs
{-# LANGUAGE AllowAmbiguousTypes #-}
module Strongweak.Util.Typeable where
import Data.Typeable
typeRep' :: forall a. Typeable a => TypeRep
typeRep' = typeRep (Proxy @a)
{-# LANGUAGE AllowAmbiguousTypes #-}
module Strongweak.Util.Typeable where
import Data.Typeable
typeRep' :: forall a. Typeable a => TypeRep
typeRep' = typeRep (Proxy @a)