diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3619c80..342cbc3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,7 @@ Notable changes to this project are documented in this file. The format is based
 Breaking changes:
 
 New features:
+- Adds uncurried ST functions with similar signatures and purposes as effect uncurried functions.
 
 Bugfixes:
 
diff --git a/src/Control/Monad/ST/Uncurried.js b/src/Control/Monad/ST/Uncurried.js
new file mode 100644
index 0000000..7745ade
--- /dev/null
+++ b/src/Control/Monad/ST/Uncurried.js
@@ -0,0 +1,229 @@
+export const mkSTFn1 = function mkSTFn1(fn) {
+  return function(x) {
+    return fn(x)();
+  };
+};
+  
+export const mkSTFn2 = function mkSTFn2(fn) {
+  return function(a, b) {
+    return fn(a)(b)();
+  };
+};
+  
+export const mkSTFn3 = function mkSTFn3(fn) {
+  return function(a, b, c) {
+    return fn(a)(b)(c)();
+  };
+};
+  
+export const mkSTFn4 = function mkSTFn4(fn) {
+  return function(a, b, c, d) {
+    return fn(a)(b)(c)(d)();
+  };
+};
+  
+export const mkSTFn5 = function mkSTFn5(fn) {
+  return function(a, b, c, d, e) {
+    return fn(a)(b)(c)(d)(e)();
+  };
+};
+  
+export const mkSTFn6 = function mkSTFn6(fn) {
+  return function(a, b, c, d, e, f) {
+    return fn(a)(b)(c)(d)(e)(f)();
+  };
+};
+  
+export const mkSTFn7 = function mkSTFn7(fn) {
+  return function(a, b, c, d, e, f, g) {
+    return fn(a)(b)(c)(d)(e)(f)(g)();
+  };
+};
+  
+export const mkSTFn8 = function mkSTFn8(fn) {
+  return function(a, b, c, d, e, f, g, h) {
+    return fn(a)(b)(c)(d)(e)(f)(g)(h)();
+  };
+};
+  
+export const mkSTFn9 = function mkSTFn9(fn) {
+  return function(a, b, c, d, e, f, g, h, i) {
+    return fn(a)(b)(c)(d)(e)(f)(g)(h)(i)();
+  };
+};
+  
+export const mkSTFn10 = function mkSTFn10(fn) {
+  return function(a, b, c, d, e, f, g, h, i, j) {
+    return fn(a)(b)(c)(d)(e)(f)(g)(h)(i)(j)();
+  };
+};
+  
+export const runSTFn1 = function runSTFn1(fn) {
+  return function(a) {
+    return function() {
+      return fn(a);
+    };
+  };
+};
+  
+export const runSTFn2 = function runSTFn2(fn) {
+  return function(a) {
+    return function(b) {
+      return function() {
+        return fn(a, b);
+      };
+    };
+  };
+};
+  
+export const runSTFn3 = function runSTFn3(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function() {
+          return fn(a, b, c);
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn4 = function runSTFn4(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function() {
+            return fn(a, b, c, d);
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn5 = function runSTFn5(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function() {
+              return fn(a, b, c, d, e);
+            };
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn6 = function runSTFn6(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function(f) {
+              return function() {
+                return fn(a, b, c, d, e, f);
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn7 = function runSTFn7(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function(f) {
+              return function(g) {
+                return function() {
+                  return fn(a, b, c, d, e, f, g);
+                };
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn8 = function runSTFn8(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function(f) {
+              return function(g) {
+                return function(h) {
+                  return function() {
+                    return fn(a, b, c, d, e, f, g, h);
+                  };
+                };
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn9 = function runSTFn9(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function(f) {
+              return function(g) {
+                return function(h) {
+                  return function(i) {
+                    return function() {
+                      return fn(a, b, c, d, e, f, g, h, i);
+                    };
+                  };
+                };
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+};
+  
+export const runSTFn10 = function runSTFn10(fn) {
+  return function(a) {
+    return function(b) {
+      return function(c) {
+        return function(d) {
+          return function(e) {
+            return function(f) {
+              return function(g) {
+                return function(h) {
+                  return function(i) {
+                    return function(j) {
+                      return function() {
+                        return fn(a, b, c, d, e, f, g, h, i, j);
+                      };
+                    };
+                  };
+                };
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+};
\ No newline at end of file
diff --git a/src/Control/Monad/ST/Uncurried.purs b/src/Control/Monad/ST/Uncurried.purs
new file mode 100644
index 0000000..2eced88
--- /dev/null
+++ b/src/Control/Monad/ST/Uncurried.purs
@@ -0,0 +1,101 @@
+-- | This module defines types for STf uncurried functions, as well as
+-- | functions for converting back and forth between them.
+-- |
+-- | The general naming scheme for functions and types in this module is as
+-- | follows:
+-- |
+-- | * `STFn{N}` means, an uncurried function which accepts N arguments and
+-- |   performs some STs. The first N arguments are the actual function's
+-- |   argument. The last type argument is the return type.
+-- | * `runSTFn{N}` takes an `STFn` of N arguments, and converts it into
+-- |   the normal PureScript form: a curried function which returns an ST
+-- |   action.
+-- | * `mkSTFn{N}` is the inverse of `runSTFn{N}`. It can be useful for
+-- |   callbacks.
+-- |
+
+module Control.Monad.ST.Uncurried where
+
+import Control.Monad.ST.Internal (ST, Region)
+
+foreign import data STFn1 :: Type -> Region -> Type -> Type
+
+type role STFn1 representational nominal representational
+
+foreign import data STFn2 :: Type -> Type -> Region -> Type -> Type
+
+type role STFn2 representational representational nominal representational
+
+foreign import data STFn3 :: Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn3 representational representational representational nominal representational
+
+foreign import data STFn4 :: Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn4 representational representational representational representational nominal representational
+
+foreign import data STFn5 :: Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn5 representational representational representational representational representational nominal representational
+
+foreign import data STFn6 :: Type -> Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn6 representational representational representational representational representational representational nominal representational
+
+foreign import data STFn7 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn7 representational representational representational representational representational representational representational nominal representational
+
+foreign import data STFn8 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn8 representational representational representational representational representational representational representational representational nominal representational
+
+foreign import data STFn9 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn9 representational representational representational representational representational representational representational representational representational nominal representational
+
+foreign import data STFn10 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Region -> Type -> Type
+
+type role STFn10 representational representational representational representational representational representational representational representational representational representational nominal representational
+
+foreign import mkSTFn1 :: forall a t r.
+  (a -> ST t r) -> STFn1 a t r
+foreign import mkSTFn2 :: forall a b t r.
+  (a -> b -> ST t r) -> STFn2 a b t r
+foreign import mkSTFn3 :: forall a b c t r.
+  (a -> b -> c -> ST t r) -> STFn3 a b c t r
+foreign import mkSTFn4 :: forall a b c d t r.
+  (a -> b -> c -> d -> ST t r) -> STFn4 a b c d t r
+foreign import mkSTFn5 :: forall a b c d e t r.
+  (a -> b -> c -> d -> e -> ST t r) -> STFn5 a b c d e t r
+foreign import mkSTFn6 :: forall a b c d e f t r.
+  (a -> b -> c -> d -> e -> f -> ST t r) -> STFn6 a b c d e f t r
+foreign import mkSTFn7 :: forall a b c d e f g t r.
+  (a -> b -> c -> d -> e -> f -> g -> ST t r) -> STFn7 a b c d e f g t r
+foreign import mkSTFn8 :: forall a b c d e f g h t r.
+  (a -> b -> c -> d -> e -> f -> g -> h -> ST t r) -> STFn8 a b c d e f g h t r
+foreign import mkSTFn9 :: forall a b c d e f g h i t r.
+  (a -> b -> c -> d -> e -> f -> g -> h -> i -> ST t r) -> STFn9 a b c d e f g h i t r
+foreign import mkSTFn10 :: forall a b c d e f g h i j t r.
+  (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> ST t r) -> STFn10 a b c d e f g h i j t r
+
+foreign import runSTFn1 :: forall a t r.
+  STFn1 a t r -> a -> ST t r
+foreign import runSTFn2 :: forall a b t r.
+  STFn2 a b t r -> a -> b -> ST t r
+foreign import runSTFn3 :: forall a b c t r.
+  STFn3 a b c t r -> a -> b -> c -> ST t r
+foreign import runSTFn4 :: forall a b c d t r.
+  STFn4 a b c d t r -> a -> b -> c -> d -> ST t r
+foreign import runSTFn5 :: forall a b c d e t r.
+  STFn5 a b c d e t r -> a -> b -> c -> d -> e -> ST t r
+foreign import runSTFn6 :: forall a b c d e f t r.
+  STFn6 a b c d e f t r -> a -> b -> c -> d -> e -> f -> ST t r
+foreign import runSTFn7 :: forall a b c d e f g t r.
+  STFn7 a b c d e f g t r -> a -> b -> c -> d -> e -> f -> g -> ST t r
+foreign import runSTFn8 :: forall a b c d e f g h t r.
+  STFn8 a b c d e f g h t r -> a -> b -> c -> d -> e -> f -> g -> h -> ST t r
+foreign import runSTFn9 :: forall a b c d e f g h i t r.
+  STFn9 a b c d e f g h i t r -> a -> b -> c -> d -> e -> f -> g -> h -> i -> ST t r
+foreign import runSTFn10 :: forall a b c d e f g h i j t r.
+  STFn10 a b c d e f g h i j t r -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> ST t r