diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# indexed-profunctors-0.1.1.1 (2023-06-22)
+* Add INLINE pragmas to small functions that really should inline
+
 # indexed-profunctors-0.1.1 (2021-04-09)
 * Remove unnecessary INLINE pragmas
 
diff --git a/indexed-profunctors.cabal b/indexed-profunctors.cabal
--- a/indexed-profunctors.cabal
+++ b/indexed-profunctors.cabal
@@ -1,12 +1,13 @@
+cabal-version: 2.2
 name:          indexed-profunctors
-version:       0.1.1
-license:       BSD3
+version:       0.1.1.1
+license:       BSD-3-Clause
 license-file:  LICENSE
 build-type:    Simple
-cabal-version: 1.24
 maintainer:    optics@well-typed.com
 author:        Adam Gundry, Andres Löh, Andrzej Rybczak, Oleg Grenrus
-tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1, GHCJS ==8.4
+tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
+                || ==9.0.2 || ==9.2.8 || ==9.4.5 || ==9.6.2, GHCJS ==8.4
 synopsis:      Utilities for indexed profunctors
 category:      Data, Optics, Lenses, Profunctors
 description:
@@ -23,10 +24,40 @@
   location: https://github.com/well-typed/optics.git
   subdir:   indexed-profunctors
 
+common language
+    ghc-options:        -Wall -Wcompat
+
+    default-language:   Haskell2010
+
+    default-extensions: BangPatterns
+                        ConstraintKinds
+                        DefaultSignatures
+                        DeriveFoldable
+                        DeriveFunctor
+                        DeriveGeneric
+                        DeriveTraversable
+                        EmptyCase
+                        FlexibleContexts
+                        FlexibleInstances
+                        FunctionalDependencies
+                        GADTs
+                        GeneralizedNewtypeDeriving
+                        InstanceSigs
+                        KindSignatures
+                        LambdaCase
+                        OverloadedLabels
+                        PatternSynonyms
+                        RankNTypes
+                        ScopedTypeVariables
+                        TupleSections
+                        TypeApplications
+                        TypeFamilies
+                        TypeOperators
+                        ViewPatterns
+
 library
-  default-language: Haskell2010
+  import:           language
   hs-source-dirs:   src
-  ghc-options:      -Wall
 
   build-depends: base                   >= 4.10       && <5
 
diff --git a/src/Data/Profunctor/Indexed.hs b/src/Data/Profunctor/Indexed.hs
--- a/src/Data/Profunctor/Indexed.hs
+++ b/src/Data/Profunctor/Indexed.hs
@@ -1,10 +1,4 @@
-{-# LANGUAGE DefaultSignatures #-}
-{-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TupleSections #-}
 {-# OPTIONS_HADDOCK not-home #-}
-
 -- | Definitions of concrete profunctors and profunctor classes.
 module Data.Profunctor.Indexed
   (
@@ -667,6 +661,7 @@
 (#.) :: Coercible b c => (b -> c) -> (a -> b) -> (a -> c)
 (#.) _f = coerce
 infixl 8 .#
+{-# INLINE (.#) #-}
 
 -- | Composition operator where the second argument must be an
 -- identity function up to representational equivalence (e.g. a
@@ -674,3 +669,4 @@
 (.#) :: Coercible a b => (b -> c) -> (a -> b) -> (a -> c)
 (.#) f _g = coerce f
 infixr 9 #.
+{-# INLINE (#.) #-}