$ type type type is a shell builtin
$ type type type: command not found
Reply on news.ycombinator.com