Comment by alipang

Yeah this mysterious "typed haskell" thing seems to imply that the other version doesn't have types, while of course they are inferred.