diff --git a/free-alacarte.cabal b/free-alacarte.cabal
--- a/free-alacarte.cabal
+++ b/free-alacarte.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.12
 name: free-alacarte
-version: 1.0.0.6
+version: 1.0.0.7
 maintainer:     Josep Bigorra <jjbigorra@gmail.com>
 build-type:     Simple
 license:        LGPL-3
@@ -55,3 +55,46 @@
     base < 5
   default-language: GHC2021
 
+test-suite free-alacarte-spec
+  type: exitcode-stdio-1.0
+  main-is: Spec.hs
+  other-modules:
+      Paths_free_alacarte
+      Free.AlaCarte.Test
+  hs-source-dirs:
+      test
+  ghc-options: -Wall -threaded -rtsopts "-with-rtsopts=-T -N"
+  default-extensions:
+      DataKinds
+      DefaultSignatures
+      DuplicateRecordFields
+      EmptyDataDecls
+      ExistentialQuantification
+      FlexibleContexts
+      FlexibleInstances
+      FunctionalDependencies
+      GADTs
+      InstanceSigs
+      KindSignatures
+      LambdaCase
+      MultiWayIf
+      NamedFieldPuns
+      NoImplicitPrelude
+      OverloadedStrings
+      PartialTypeSignatures
+      RecordWildCards
+      TypeFamilies
+      ViewPatterns
+
+  build-depends:
+    free-alacarte
+    , base
+    , hspec
+    , QuickCheck
+    , tasty
+    , tasty-hspec
+    , relude
+    , text
+    , containers
+    , time
+  default-language: GHC2021
diff --git a/test/Free/AlaCarte/Test.hs b/test/Free/AlaCarte/Test.hs
new file mode 100644
--- /dev/null
+++ b/test/Free/AlaCarte/Test.hs
@@ -0,0 +1,54 @@
+module Free.AlaCarte.Test where
+
+import Data.Text qualified as T
+import Free.AlaCarte
+import Relude
+import Test.Hspec
+
+data FileSystem a
+  = MyReadFile FilePath (Either UnicodeException Text -> a)
+  | MyWriteFile FilePath Text a
+  deriving (Functor)
+
+instance Exec FileSystem where
+  execAlgebra (MyReadFile path next) = do
+    rawFileContents <- readFileBS path
+    next (decodeUtf8' rawFileContents)
+  execAlgebra (MyWriteFile path fileContents next) = do
+    _ <- writeFileText path fileContents
+    next
+
+myReadFile :: (FileSystem :<: f) => FilePath -> Free f (Either UnicodeException Text)
+myReadFile path = injectFree (MyReadFile path Pure)
+
+myWriteFile :: (FileSystem :<: f) => FilePath -> Text -> Free f ()
+myWriteFile path fileContents = injectFree (MyWriteFile path fileContents (Pure ()))
+
+data Logger a = LogInfo Text a deriving (Functor)
+
+instance Exec Logger where
+  execAlgebra (LogInfo message next) = putTextLn message >> next
+
+logInfo :: (Logger :<: f) => Text -> Free f ()
+logInfo message = injectFree (LogInfo message (Pure ()))
+
+freealacarteSpec :: SpecWith ()
+freealacarteSpec = do
+  describe "Free a la Carte" $ do
+    describe "using the FileSystem free monad" $ do
+      it "can read from file successfully " $ do
+        fileContents <- exec @FileSystem $ myReadFile "./resources/test/file-0.txt"
+        second T.strip fileContents `shouldBe` Right "Free a la Carte"
+      it "can write to file successfully" $ do
+        exec @FileSystem $ myWriteFile "./resources/test/some-test-file.txt" "Free a la Carte"
+    describe "using the Logger free monad" $ do
+      it "can log to stdout" $ do
+        exec @Logger $ logInfo "Free a la Carte"
+    describe "using FileSystem :+: Logger monads" $ do
+      it "can read a file's contents to stdout" $ do
+        exec @(FileSystem :+: Logger) $ readFileContentsToStdout "./resources/test/file-0.txt"
+
+readFileContentsToStdout :: (Logger :<: f, FileSystem :<: f) => FilePath -> Free f ()
+readFileContentsToStdout path = do
+  maybeFileContents <- myReadFile path
+  either (logInfo . T.pack . show) logInfo maybeFileContents
diff --git a/test/Spec.hs b/test/Spec.hs
new file mode 100644
--- /dev/null
+++ b/test/Spec.hs
@@ -0,0 +1,7 @@
+import Relude
+import Test.Hspec
+import Free.AlaCarte.Test
+
+main :: IO ()
+main = hspec $ do
+  freealacarteSpec