Identity Law つまり
<*> [id] [1 2 3] = [1 2 3]
は納得したとして、それから
<*> [f g h] [1 2 3] = [f(1) f(2) f(3) g(1)　g(2) g(3) h(1) h(2) h(3)]
はどうやって出てくるの？