diff --git a/intro.cabal b/intro.cabal
--- a/intro.cabal
+++ b/intro.cabal
@@ -3,7 +3,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           intro
-version:        0.1.0.6
+version:        0.1.0.7
 synopsis:       "Fixed Prelude" - Mostly total and safe, provides Text and Monad transformers
 description:    Intro is a modern Prelude which provides safe alternatives
                 for most of the partial functions and follows other
diff --git a/src/Intro.hs b/src/Intro.hs
--- a/src/Intro.hs
+++ b/src/Intro.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE NoImplicitPrelude #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE Safe #-}
 
 -----------------------------------------------------------------------------
@@ -121,6 +122,8 @@
       , fromList
       -- , toList -- provided by Foldable
       )
+  , convertList
+  , fromFoldable
   , Data.List.break
   , Data.List.drop
   , Data.List.Extra.dropEnd
@@ -644,7 +647,7 @@
 import Data.Semigroup ((<>))
 import Data.String.Conversions (ConvertibleStrings(convertString))
 import Data.Text (Text)
-import Intro.Trustworthy (HasCallStack)
+import Intro.Trustworthy (HasCallStack, IsList(Item, toList, fromList))
 import Prelude (String, Char, FilePath, Show)
 import qualified Control.Applicative
 import qualified Control.Category
@@ -722,6 +725,16 @@
 
 -- | Alias for lazy 'Data.ByteString.Lazy.ByteString'
 type LByteString = Data.ByteString.Lazy.ByteString
+
+-- | Convert from 'Data.Foldable.Foldable' to an 'IsList' type.
+fromFoldable :: (Data.Foldable.Foldable f, IsList a) => f (Item a) -> a
+fromFoldable = fromList . Data.Foldable.toList
+{-# INLINE fromFoldable #-}
+
+-- | Convert between two different 'IsList' types.
+convertList :: (IsList a, IsList b, Item a ~ Item b) => a -> b
+convertList = fromList . toList
+{-# INLINE convertList #-}
 
 -- | A synonym for 'Data.Functor.fmap'.
 --
diff --git a/src/Intro/Trustworthy.hs b/src/Intro/Trustworthy.hs
--- a/src/Intro/Trustworthy.hs
+++ b/src/Intro/Trustworthy.hs
@@ -23,7 +23,7 @@
   , GHC.Exts.IsList(
       Item
       , fromList
-      -- , toList -- provided by Foldable
+      , toList
       )
   , Constraint
   , HasCallStack