Functions doesn't throw an error when you give them wrong type. You can see an example here: #35. So it should be implemented.