Realized that evaluate is *not* wfix, although wfix will typecheck but fail to work properly. However, generalized type signature of evaluate to work for any applicative comonad.