Skip to content

Instantly share code, notes, and snippets.

@edsko

edsko/IoVsMonadLaws.txt

Created February 11, 2023 10:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save edsko/a4f9bbd2956cd038ff266dc17138bf50 to your computer and use it in GitHub Desktop.
Save edsko/a4f9bbd2956cd038ff266dc17138bf50 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
IoVsMonadLaws.txt
-- Due to Oleg
Prelude GHC.IO> (return 'x' >>= const undefined :: IO Int) `seq` ()
()
Prelude GHC.IO> (const undefined 'x' :: IO Int) `seq` ()
*** Exception: Prelude.undefined
CallStack (from HasCallStack):
undefined, called at <interactive>:9:8 in interactive:Ghci4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment