I can't think of anyway to get around once you add Static Typing. Dynamic languages have much more bare function/object definitions. Haskell does make Types l

I can't think of anyway to get around once you add Static Typing. Dynamic languages have much more bare function/object definitions. Haskell does make Types look sexy on the other hand. So yes there could have been some borrowing from there.