Which ultimately doesn't matter, because head . (:[]) doesn't behave differently from (\x -> x) no matter what the input is. The only possible variation on

Which ultimately doesn't matter, because head . (:[]) doesn't behave differently from (\x -> x) no matter what the input is. The only possible variation on the id function is in how efficient it is, from fastest to never terminating.