diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
index 5696d1ab85..82747344a6 100644
--- a/cardano-api/src/Cardano/Api.hs
+++ b/cardano-api/src/Cardano/Api.hs
@@ -48,6 +48,9 @@ module Cardano.Api
   , module Cardano.Api.Key
   , module Cardano.Api.Hash
 
+    -- * HasTypeProxy
+  , module Cardano.Api.HasTypeProxy
+
     -- * Transaction building
   , module Cardano.Api.Tx
 
diff --git a/cardano-api/src/Cardano/Api/HasTypeProxy.hs b/cardano-api/src/Cardano/Api/HasTypeProxy.hs
index 7606261220..015bba702b 100644
--- a/cardano-api/src/Cardano/Api/HasTypeProxy.hs
+++ b/cardano-api/src/Cardano/Api/HasTypeProxy.hs
@@ -9,6 +9,7 @@ module Cardano.Api.HasTypeProxy
   , AsType (..)
   , Proxy (..)
   , FromSomeType (..)
+  , asTypeFromValue
   )
 where
 
@@ -39,6 +40,9 @@ instance HasTypeProxy BS.ByteString where
   data AsType BS.ByteString = AsByteString
   proxyToAsType _ = AsByteString
 
+asTypeFromValue :: HasTypeProxy t => t -> AsType t
+asTypeFromValue _ = proxyToAsType Proxy
+
 data FromSomeType (c :: Type -> Constraint) b where
   FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b