oh yeah i was confused because i knew runidentity was a thing so i thought there was a pun to it where it would normally be another thing that got replaced with identity due to woke!!!
that’s what i’m saying, haskell’s always been woke. this is the ideology they’ve laundered past our keen senses with their “natural transformations”!!!!!
Comments
data Identity a = { runIdentity :: a }
so this lets you do stuff like
runIdentity $ do
-- …
when you want to run the do block over the identity monad as opposed to anything else