Yes, that. I find it really... Wonderful how types and declarations are inferred from actual code using 'em. OTOH, this is something I see a lot in Hindley-Mi

Yes, that. I find it really... Wonderful how types and declarations are inferred from actual code using 'em. OTOH, this is something I see a lot in Hindley-Milner typed languages, although they don't usually go too far here, i.e. it's not like OCaml or Haskell generates a type declaration for me.