Failure to derive Applicative-based type Aug 2