Added classic result that forall a. a -> a is equivalent to id