Trying to observe a difference between `pure id <*> x` and `x`

gistfile1.hs

import Control.Applicative.Free
import Control.Applicative

import Control.Monad.Identity
import Data.Monoid

count :: (Functor eff) => Free eff a -> Int
count = getSum . runIdentity . analyze (const $ Identity $ Sum 1)

test :: (Functor eff) => Free eff a -> (Int, Int)
test x = (count $ pure id <*> x, count x)

test' :: (Int, Int)
test' = test (effect undefined :: Free Identity ())