diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,16 @@
 Changelog
 =========
 
+Version 0.1.3.1
+---------------
+
+*August 23, 2019*
+
+<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.3.1>
+
+*   Quick renaming of `subsetToInterlaveLeft` and `subsetToInterleaveRight` to
+    match naming conventions.
+
 Version 0.1.3.0
 ---------------
 
diff --git a/list-witnesses.cabal b/list-witnesses.cabal
--- a/list-witnesses.cabal
+++ b/list-witnesses.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 719f24db96d689225456161daf1be9b65869796716720c8702c4de187265dc65
+-- hash: 4055090befaa2d0679560c0b267262ff97d3c618a1503a0e4d5497fdbf73242d
 
 name:           list-witnesses
-version:        0.1.3.0
+version:        0.1.3.1
 synopsis:       Witnesses for working with type-level lists
 description:    Collection of assorted inductive witnesses and functions for working with
                 type-level lists.
diff --git a/src/Data/Type/List/Sublist.hs b/src/Data/Type/List/Sublist.hs
--- a/src/Data/Type/List/Sublist.hs
+++ b/src/Data/Type/List/Sublist.hs
@@ -63,7 +63,7 @@
   , Subset(..), IsSubset, autoSubset
   , subsetComplement
   , interleaveRToSubset, interleaveLToSubset
-  , subsetToInterleaveLeft, subsetToInterleaveRight
+  , subsetToInterleaveL, subsetToInterleaveR
   , subsetRec, getSubset
   , subsetShapes
   , subsetIxes
@@ -830,25 +830,25 @@
 
 -- | Convert a 'Subset' into an left 'Interleave', recovering the dropped
 -- items.
-subsetToInterleaveLeft
+subsetToInterleaveL
     :: Subset as cs
     -> (forall bs. Interleave as bs cs -> r)
     -> r
-subsetToInterleaveLeft = \case
+subsetToInterleaveL = \case
     SubsetNil   -> \f -> f IntZ
-    SubsetNo  s -> \f -> subsetToInterleaveLeft s (f . IntR)
-    SubsetYes s -> \f -> subsetToInterleaveLeft s (f . IntL)
+    SubsetNo  s -> \f -> subsetToInterleaveL s (f . IntR)
+    SubsetYes s -> \f -> subsetToInterleaveL s (f . IntL)
 
 -- | Convert a 'Subset' into an right 'Interleave', recovering the dropped
 -- items.
-subsetToInterleaveRight
+subsetToInterleaveR
     :: Subset bs cs
     -> (forall as. Interleave as bs cs -> r)
     -> r
-subsetToInterleaveRight = \case
+subsetToInterleaveR = \case
     SubsetNil   -> \f -> f IntZ
-    SubsetNo  s -> \f -> subsetToInterleaveRight s (f . IntL)
-    SubsetYes s -> \f -> subsetToInterleaveRight s (f . IntR)
+    SubsetNo  s -> \f -> subsetToInterleaveR s (f . IntL)
+    SubsetYes s -> \f -> subsetToInterleaveR s (f . IntR)
 
 -- | @as@ is a subset of @cs@; this function recovers @bs@, the subset of
 -- @cs@ that is not @as@.