diff --git a/sketching/april_2025/hkt.dm b/sketching/april_2025/hkt.dm
index c4d2e20..d8e3c0b 100644
--- a/sketching/april_2025/hkt.dm
+++ b/sketching/april_2025/hkt.dm
@@ -1,5 +1,5 @@
 pub hkt Functor[Self<T>] {
-    fn <U> map(f: fn &T -> U) -> Self<U> // &self implied
+    fn <U> map(f: fn (t: &T) -> U) -> Self<U> // &self implied
 }
 
 pub hkt Applicative[Self<T>] : Functor[Self<T>] {
diff --git a/sketching/april_2025/template.dm b/sketching/april_2025/template.dm
index a2470b9..af8408c 100644
--- a/sketching/april_2025/template.dm
+++ b/sketching/april_2025/template.dm
@@ -30,13 +30,6 @@ pub int MutRefClosure(P : Tuple = ())<D = Any> -> T : ConsClosure(P)<D> -> T {
     mut ref fn call(...p: P) -> T
 }
 
-/**
- * Type is `mut fn (P)<D> -> T`
- */
-pub int MutClosure(P : Tuple = ())<D = Any> -> T : MutRefClosure(P)<D> -> T {
-    mut fn call(...p: P) -> T
-}
-
 /**
  * Type is `ref fn (P)<D> -> T`
  */
@@ -44,10 +37,17 @@ pub int ReadRefClosure(P : Tuple = ())<D = Any> -> T : MutRefClosure(P)<D> -> T
     ref fn call(...p: P) -> T
 }
 
+/**
+ * Type is `mut fn (P)<D> -> T`
+ */
+pub int MutClosure(P : Tuple = ())<D = Any> -> T : ConsClosure(P)<D> -> T {
+    mut fn call(...p: P) -> T
+}
+
 /**
  * Type is `fn (P)<D> -> T`
  */
-pub int ReadClosure(P : Tuple = ())<D = Any> -> T : ReadRefClosure(P)<D> -> T {
+pub int ReadClosure(P : Tuple = ())<D = Any> -> T : MutClosure(P)<D> -> T {
     fn call(...p: P) -> T
 }