master ← rhendric:rhendric/then
opened 05:44AM - 12 Jun 25 UTC
To see the difference, run this file before and after patch with `GHCRTS=-K100k …cabal exec runghc`:
```hs
import Control.Monad.Trans.Identity.Tagged
times :: Applicative f => Integer -> f a -> f a
times 1 m = m
times n m = m *> times (n - 1) m
main :: IO ()
main = runTaggedT $ times 10000 $ pure ()
```