I still don't understand why you need both.
If you only could have methods in a type, is there anything you couldn't do that you could do if you also had functions?
If you only could have methods in a type, is there anything you couldn't do that you could do if you also had functions?