Yes he's borrowing the type notation from haskell to make his intentions clear, but of course this is only conceptual, and comments can be wrong - you'd need something like TypeScript to actually get feedback on types.