From 5e938e8f6c4ee44d3759878eb5641e14960bc5be Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Tue, 15 Oct 2024 14:29:53 +0100
Subject: [PATCH] fix "Nuisances" tutorial

---
 tutorials/Nuisances.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorials/Nuisances.md b/tutorials/Nuisances.md
index 30052f45e..656c12c0b 100644
--- a/tutorials/Nuisances.md
+++ b/tutorials/Nuisances.md
@@ -28,7 +28,7 @@ y = let x = 1 + 2 in x + x
 spidr will interpret each `x` as a different expression, and create two copies of `1 + 2`. This is acceptable for small calculations, but it would be a big problem if `x` were expensive to evaluate, or used a lot of space in memory. To prevent recalculating expressions, spidr provides _observable sharing_ via the interface
 > ```idris
 > interface Taggable a where
->   tag : a -> Tag a
+>   tag : Monad m => a -> TagT m a
 > ```
 `tag` tags all tensor expressions contained within the `a`. You can efficiently reuse a value created by `tag` as many times as you like; it will only be evaluated once. In our example, this would be
 ```idris