Haven't read the article yet, but it looks like the author started accidentally using `Void` before the section where it's defined. The uninhabited type being n

Haven't read the article yet, but it looks like the author started accidentally using `Void` before the section where it's defined. The uninhabited type being named "void" is already familiar to many haskell programmers, e.g. http://hackage.haskell.org/package/void http://hackage.haskell.org/package/void