data CountMe a = CountMe Integer a deriving (Eq, Show)

instance Functor CountMe where
□fmap f (CountMe i a) = ?1

instance Applicative CountMe where
□pure = ?2
□CountMe n f <*> CountMe n' a = CountMe (n + n') (f a)

instance Monad CountMe where
□return = pure
□CountMe n a >>= f = ?3

여기서 □는 들여쓰기를 나타냄.
정답은 내일 공개할 거임.
물론 그 전에 여기 고수분들이 풀겠지만.