diff --git a/src/calrissian-error-monad.lfe b/src/calrissian-error-monad.lfe
index 0beffd0..a76e8a7 100644
--- a/src/calrissian-error-monad.lfe
+++ b/src/calrissian-error-monad.lfe
@@ -5,9 +5,9 @@
           (fail 1)))
 
 (defun >>=
-  (((tuple 'error reason) f)
-   (tuple 'error reason))
-  (((tuple 'ok value) f)
+  ((`#(error ,reason) f)
+   `#(error ,reason))
+  ((`#(ok ,value) f)
    (funcall f value))
   (('ok f)
    (funcall f 'ok)))
@@ -16,7 +16,7 @@
   (('ok)
    'ok)
   ((x)
-   (tuple 'ok x)))
+   `#(ok ,x)))
 
 (defun fail (reason)
-  (tuple 'error reason))
+  `#(error ,reason))
diff --git a/src/calrissian-identity-monad.lfe b/src/calrissian-identity-monad.lfe
index 4be2a99..6eb1af4 100644
--- a/src/calrissian-identity-monad.lfe
+++ b/src/calrissian-identity-monad.lfe
@@ -10,4 +10,4 @@
 (defun return (x) x)
 
 (defun fail (x)
-  (throw (tuple 'error x)))
+  (throw `#(error ,x)))
diff --git a/src/calrissian-maybe-monad.lfe b/src/calrissian-maybe-monad.lfe
index e19ac6f..25a728b 100644
--- a/src/calrissian-maybe-monad.lfe
+++ b/src/calrissian-maybe-monad.lfe
@@ -7,11 +7,11 @@
 (defun >>=
   (('nothing f)
    'nothing)
-  (((tuple 'just x) f)
+  ((`#(just ,x) f)
    (funcall f x)))
 
 (defun return (x)
-  (tuple 'just x))
+  `#(just ,x))
 
 (defun fail (_)
   'nothing)
diff --git a/src/calrissian-monad.lfe b/src/calrissian-monad.lfe
index be444c0..d2bafc7 100644
--- a/src/calrissian-monad.lfe
+++ b/src/calrissian-monad.lfe
@@ -3,17 +3,17 @@
           (do-transform 2)))
 
 (defun behaviour_info
-  (('callbacks) (list #(>>= 2)
-                      #(return 1)
-                      #(fail 1)))
+  (('callbacks) '(#(>>= 2)
+                  #(return 1)
+                  #(fail 1)))
   ((_) 'undefined))
 
 (defun do-transform
-  ((monad (cons h '()))
+  ((monad `(,h . ()))
    h)
-  ((monad (cons (list f '<- m) t))
-   (list '>>= monad
-         m
-         (list 'lambda (list f) (do-transform monad t))))
-  ((monad (cons h t))
-   (list '>> monad h (do-transform monad t))))
+  ((monad `((,f <- ,m) . ,t))
+   `(>>= ,monad
+         ,m
+         (lambda (,f) ,(do-transform monad t))))
+  ((monad `(,h . ,t))
+   `(>> ,monad ,h ,(do-transform monad t))))
diff --git a/src/calrissian-state-transformer.lfe b/src/calrissian-state-transformer.lfe
index eb30588..052b05a 100644
--- a/src/calrissian-state-transformer.lfe
+++ b/src/calrissian-state-transformer.lfe
@@ -4,57 +4,57 @@
 (include-lib "include/monads.lfe")
 
 (defun new (inner-monad)
-  (tuple 'calrissian-state-transformer inner-monad))
+  `#(calrissian-state-transformer ,inner-monad))
 
 (defun return
-  ((x (tuple 'calrissian-state-transformer inner-monad))
+  ((x `#(calrissian-state-transformer ,inner-monad))
    (lambda (s) (call inner-monad 'return (tuple x s)))))
 
 (defun fail
-  ((reason (tuple 'calrissian-state-transformer inner-monad))
+  ((reason `#(calrissian-state-transformer ,inner-monad))
    (lambda (_) (call inner-monad 'fail reason))))
 
 (defun >>=
-  ((x f (tuple 'calrissian-state-transformer inner-monad))
+  ((x f `#(calrissian-state-transformer ,inner-monad))
    (lambda (s)
      (call inner-monad '>>=
        (funcall x s)
-       (match-lambda (((tuple x1 s1)) (funcall (funcall f x1) s1)))))))
+       (match-lambda ((`#(,x1 ,s1)) (funcall (funcall f x1) s1)))))))
 
 (defun get (_)
   (lambda (s)
-    (tuple s s)))
+    `#(,s ,s)))
 
 (defun put (s _)
   (lambda (_)
-    (tuple 'ok s)))
+    `#(ok ,s)))
 
 (defun modify
-  ((f (tuple 'calrissian-state-transformer inner-monad))
+  ((f `#(calrissian-state-transformer ,inner-monad))
    (lambda (s)
-     (tuple 'ok (call inner-monad 'return (funcall f s))))))
+     `#(ok ,(call inner-monad 'return (funcall f s))))))
 
 (defun modify-and-return
-  ((f (tuple 'calrissian-state-transformer inner-monad))
+  ((f `#(calrissian-state-transformer ,inner-monad))
    (lambda (s)
      (let ((newstate (call inner-monad 'return (funcall f s))))
-       (tuple newstate newstate)))))
+       `#(,newstate ,newstate)))))
 
 (defun eval
-  ((m s (tuple 'calrissian-state-transformer inner-monad))
+  ((m s `#(calrissian-state-transformer ,inner-monad))
    (call inner-monad '>>=
      (funcall m s)
-     (match-lambda (((tuple x s1))
+     (match-lambda ((`#(,x ,s1))
                     (call inner-monad 'return x))))))
 
 (defun exec
-  ((m s (tuple 'calrissian-state-transformer inner-monad))
+  ((m s `#(calrissian-state-transformer ,inner-monad))
    (call inner-monad '>>=
      (funcall m s)
-     (match-lambda (((tuple x s1))
+     (match-lambda ((`#(,x ,s1))
                     (call inner-monad 'return s1))))))
 
 (defun run
-  ((m s (tuple 'calrissian-state-transformer inner-monad))
+  ((m s `#(calrissian-state-transformer ,inner-monad))
    (funcall m s)))
 
diff --git a/src/calrissian-state.lfe b/src/calrissian-state.lfe
index 6fc37a0..b35f703 100644
--- a/src/calrissian-state.lfe
+++ b/src/calrissian-state.lfe
@@ -2,11 +2,11 @@
   (export (behaviour_info 1)))
 
 (defun behaviour_info
-  (('callbacks) (list #(run 2)
-                      #(get 0)
-                      #(put 1)
-                      #(modify 1)
-                      #(modify-and-return 1)
-                      #(exec 2)
-                      #(eval 2)))
+  (('callbacks) `(#(run 2)
+                  #(get 0)
+                  #(put 1)
+                  #(modify 1)
+                  #(modify-and-return 1)
+                  #(exec 2)
+                  #(eval 2)))
   ((_) 'undefined))
\ No newline at end of file
diff --git a/src/calrissian-util.lfe b/src/calrissian-util.lfe
index a36fddf..6fb31a1 100644
--- a/src/calrissian-util.lfe
+++ b/src/calrissian-util.lfe
@@ -14,15 +14,15 @@
       `(#(calrissian ,(get-version)))))
 
 (defun module-info
-  (((tuple module _args))
+  ((`#(,module ,_args))
    ;; Report exported function arities as (arity - 1) to account for
    ;; the extra argument supplied to tuple modules
    (let ((fix-info (lambda (info-plist)
                      (let* ((exports (proplists:get_value 'exports info-plist))
                             (fix-arity (match-lambda
                                          ;; module_info is added by the compiler and therefore remains as-is
-                                         (((tuple 'module_info arity)) (tuple 'module_info arity))
-                                         (((tuple fun arity)) (tuple fun (- arity 1)))))
+                                         ((`#(module_info ,arity)) `#(module_info ,arity))
+                                         ((`#(,fun ,arity)) `#(,fun ,(- arity 1)))))
                             (info-dict (dict:from_list info-plist))
                             (new-dict (dict:store 'exports (lists:map fix-arity exports) info-dict))
                             (new-plist (dict:to_list new-dict)))