Monad의 법칙이 법칙인 이유는 아는데,
Applicative의 법칙이 법칙인 이유를 모르겠음.