uncurried types get leaked

[bobzhang]

Unfortunately we can not make it an abstract type, I wonder if we can do some adhoc things to avoid expanding types in Js module.
cc @cristianoc

[cristianoc]

Already done in master.