Demonstrating comonad transformers.