User blog comment:Upquark11111/An Explanation of Loader's Number/@comment-11227630-20171208161135/@comment-26454151-20171209041342

I probably should have explained that: the arrows are shorthand for Pi-type. They're just function types.