It won't typecheck, which is good in this case, because as you say that's a very bad idea :)