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