Languages introduce restrictions of their own all the time. In Java I can't have a function that works on any type of number, I have to specify the type. In H

Languages introduce restrictions of their own all the time. In Java I can't have a function that works on any type of number, I have to specify the type. In Haskell I can. In Haskell I can't put random stuff in a list, in Java I can as long as they are all objects. Those language restrictions slow down your development as you have to design and code around them. People see the extra design\code as a good trade off because it improves safety, but it slows you down if you are just messing around.