>>340
ApplicativeがFunctorである以上、ほかにどうしろと？

つうか、Applicative Lawsを満たすようにApplicativeを実装しようね、
つうのはMonadはMonad Lawsを満たすように実装しようね、
というのと同じ性質のお約束なので、破りたきゃ破れるが、
Functorとしての振る舞いと整合性が取れないそんな糞みたいな型を
作られても使いようがない、というだけのこと。
Applicative Lawsが成立するところにApplicativeそのものの有用性があるんだからな。