diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,11 +1,11 @@
 # Changelog for `type-machine`
 
-All notable changes to this project will be documented in this file.
+## 0.1.0.1 - 2025-08-11
 
-The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
-and this project adheres to the
-[Haskell Package Versioning Policy](https://pvp.haskell.org/).
+- Expose 'Liftable' module
+- Rename 'Infix' module to 'Functions.Infix'
+- Set boundaries on dependencies
 
-## Unreleased
+## 0.1.0.0 - 2025-08-08
 
-## 0.1.0.0 - YYYY-MM-DD
+- First release
diff --git a/src/TypeMachine.hs b/src/TypeMachine.hs
--- a/src/TypeMachine.hs
+++ b/src/TypeMachine.hs
@@ -12,7 +12,6 @@
     -- * Infixes
     (<:>),
     (<::>),
-    (<.>),
 
     -- * Internal types
     Type,
diff --git a/src/TypeMachine/Functions/Infix.hs b/src/TypeMachine/Functions/Infix.hs
new file mode 100644
--- /dev/null
+++ b/src/TypeMachine/Functions/Infix.hs
@@ -0,0 +1,78 @@
+module TypeMachine.Functions.Infix (
+    -- * Intersection
+    (<#|>),
+    (<:#|>),
+    (<#|:>),
+
+    -- ** Flipped Intersection
+    (<|#>),
+    (<:|#>),
+    (<|#:>),
+
+    -- * Union
+    (<#&>),
+    (<:#&>),
+    (<#&:>),
+
+    -- ** Flipped Union
+    (<&#>),
+    (<:&#>),
+    (<&#:>),
+) where
+
+import Language.Haskell.TH (Name)
+import TypeMachine.Functions
+import TypeMachine.TM
+import TypeMachine.Type
+
+-- | Alias to 'intersection'
+(<#|>) :: Type -> Type -> TM Type
+(<#|>) = intersection
+{-# INLINE (<#|>) #-}
+
+-- | Like '<#|>', but the first parameter is a name
+(<:#|>) :: Name -> Type -> TM Type
+a <:#|> b = toType a >>= \a' -> a' <#|> b
+
+-- | Like '<#|>', but the second parameter is a name
+(<#|:>) :: Type -> Name -> TM Type
+a <#|:> b = toType b >>= \b' -> a <#|> b'
+
+-- | Alias to 'intersection''
+(<|#>) :: Type -> Type -> TM Type
+(<|#>) = intersection'
+{-# INLINE (<|#>) #-}
+
+-- | Like '<|#>', but the first parameter is a name
+(<:|#>) :: Name -> Type -> TM Type
+a <:|#> b = toType a >>= \a' -> a' <|#> b
+
+-- | Like '<|#>', but the second parameter is a name
+(<|#:>) :: Type -> Name -> TM Type
+a <|#:> b = toType b >>= \b' -> a <|#> b'
+
+-- | Alias to 'union'
+(<#&>) :: Type -> Type -> TM Type
+(<#&>) = union
+{-# INLINE (<#&>) #-}
+
+-- | Like '<#&>', but the first parameter is a name
+(<:#&>) :: Name -> Type -> TM Type
+a <:#&> b = toType a >>= \a' -> a' <#&> b
+
+-- | Like '<#&>', but the second parameter is a name
+(<#&:>) :: Type -> Name -> TM Type
+a <#&:> b = toType b >>= \b' -> a <#&> b'
+
+-- | Alias to 'union''
+(<&#>) :: Type -> Type -> TM Type
+(<&#>) = union'
+{-# INLINE (<&#>) #-}
+
+-- | Like '<&#>', but the first parameter is a name
+(<:&#>) :: Name -> Type -> TM Type
+a <:&#> b = toType a >>= \a' -> a' <&#> b
+
+-- | Like '<&#>', but the second parameter is a name
+(<&#:>) :: Type -> Name -> TM Type
+a <&#:> b = toType b >>= \b' -> a <&#> b'
diff --git a/src/TypeMachine/Infix.hs b/src/TypeMachine/Infix.hs
deleted file mode 100644
--- a/src/TypeMachine/Infix.hs
+++ /dev/null
@@ -1,78 +0,0 @@
-module TypeMachine.Infix (
-    -- * Intersection
-    (<#|>),
-    (<:#|>),
-    (<#|:>),
-
-    -- ** Flipped Intersection
-    (<|#>),
-    (<:|#>),
-    (<|#:>),
-
-    -- * Union
-    (<#&>),
-    (<:#&>),
-    (<#&:>),
-
-    -- ** Flipped Union
-    (<&#>),
-    (<:&#>),
-    (<&#:>),
-) where
-
-import Language.Haskell.TH (Name)
-import TypeMachine.Functions
-import TypeMachine.TM
-import TypeMachine.Type
-
--- | Alias to 'intersection'
-(<#|>) :: Type -> Type -> TM Type
-(<#|>) = intersection
-{-# INLINE (<#|>) #-}
-
--- | Like '<#|>', but the first parameter is a name
-(<:#|>) :: Name -> Type -> TM Type
-a <:#|> b = toType a >>= \a' -> a' <#|> b
-
--- | Like '<#|>', but the second parameter is a name
-(<#|:>) :: Type -> Name -> TM Type
-a <#|:> b = toType b >>= \b' -> a <#|> b'
-
--- | Alias to 'intersection''
-(<|#>) :: Type -> Type -> TM Type
-(<|#>) = intersection'
-{-# INLINE (<|#>) #-}
-
--- | Like '<|#>', but the first parameter is a name
-(<:|#>) :: Name -> Type -> TM Type
-a <:|#> b = toType a >>= \a' -> a' <|#> b
-
--- | Like '<|#>', but the second parameter is a name
-(<|#:>) :: Type -> Name -> TM Type
-a <|#:> b = toType b >>= \b' -> a <|#> b'
-
--- | Alias to 'union'
-(<#&>) :: Type -> Type -> TM Type
-(<#&>) = union
-{-# INLINE (<#&>) #-}
-
--- | Like '<#&>', but the first parameter is a name
-(<:#&>) :: Name -> Type -> TM Type
-a <:#&> b = toType a >>= \a' -> a' <#&> b
-
--- | Like '<#&>', but the second parameter is a name
-(<#&:>) :: Type -> Name -> TM Type
-a <#&:> b = toType b >>= \b' -> a <#&> b'
-
--- | Alias to 'union''
-(<&#>) :: Type -> Type -> TM Type
-(<&#>) = union'
-{-# INLINE (<&#>) #-}
-
--- | Like '<&#>', but the first parameter is a name
-(<:&#>) :: Name -> Type -> TM Type
-a <:&#> b = toType a >>= \a' -> a' <&#> b
-
--- | Like '<&#>', but the second parameter is a name
-(<&#:>) :: Type -> Name -> TM Type
-a <&#:> b = toType b >>= \b' -> a <&#> b'
diff --git a/type-machine.cabal b/type-machine.cabal
--- a/type-machine.cabal
+++ b/type-machine.cabal
@@ -5,9 +5,8 @@
 -- see: https://github.com/sol/hpack
 
 name:           type-machine
-version:        0.1.0.0
-synopsis:       Template Haskell-based Type functions on record types in Haskell
-description:    Please see the README on GitHub at <https://github.com/Arthi-chaud/type-machine#readme>
+version:        0.1.0.1
+synopsis:       Type-level functions for record types
 category:       Types
 homepage:       https://github.com/Arthi-chaud/type-machine#readme
 bug-reports:    https://github.com/Arthi-chaud/type-machine/issues
@@ -29,17 +28,17 @@
   exposed-modules:
       TypeMachine
       TypeMachine.Functions
-      TypeMachine.Infix
+      TypeMachine.Functions.Infix
       TypeMachine.TM
       TypeMachine.Type
       TypeMachine.TM.Syntax
+      TypeMachine.TM.Liftable
       TypeMachine.Log
       TypeMachine.TH
       TypeMachine.TH.Is
   other-modules:
       TypeMachine.Internal.Utils
       TypeMachine.TH.Internal.Utils
-      TypeMachine.TM.Liftable
       Paths_type_machine
   autogen-modules:
       Paths_type_machine
@@ -53,10 +52,10 @@
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
   build-depends:
       base >=4.7 && <5
-    , containers
-    , mtl
-    , syb
-    , template-haskell
+    , containers >=0.7 && <0.9
+    , mtl >=2.3.1 && <2.4
+    , syb ==0.7.2.*
+    , template-haskell >=2.22 && <2.24
   default-language: Haskell2010
 
 executable vector-example
@@ -73,9 +72,10 @@
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
   build-depends:
       base >=4.7 && <5
-    , containers
-    , syb
-    , template-haskell
+    , containers >=0.7 && <0.9
+    , mtl >=2.3.1 && <2.4
+    , syb ==0.7.2.*
+    , template-haskell >=2.22 && <2.24
     , type-machine
   default-language: Haskell2010
 
@@ -98,10 +98,11 @@
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N -Wno-unused-top-binds
   build-depends:
       base >=4.7 && <5
-    , containers
+    , containers >=0.7 && <0.9
     , hspec
-    , syb
-    , template-haskell
+    , mtl >=2.3.1 && <2.4
+    , syb ==0.7.2.*
+    , template-haskell >=2.22 && <2.24
     , type-machine
   default-language: Haskell2010
 
@@ -124,13 +125,13 @@
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-T -Wno-unused-top-binds -Wno-orphans -Wno-redundant-constraints
   build-depends:
       base >=4.7 && <5
-    , containers
+    , containers >=0.7 && <0.9
     , criterion
     , extensible
     , lens
     , mtl
     , superrecord
-    , syb
-    , template-haskell
+    , syb ==0.7.2.*
+    , template-haskell >=2.22 && <2.24
     , type-machine
   default-language: Haskell2010