>>336
Identity Law : pure id <*> v = v

が満たされないから。お前さんの提案する定義だと

pure id <*> [1,2,3] =1

になっちまうだろ。