@@ -511,7 +511,7 @@ The `extern` keyword declares a value which is defined in Javascript, and its ty
512To declare a new type with no constructors, use `extern data` and provide the kind:
512To declare a new type with no constructors, use `extern data` and provide the kind:
514− extern IO :: * -> *
514+ extern data IO :: * -> *
516 extern console :: {
516 extern console :: {
517 log :: String -> IO {}
517 log :: String -> IO {}