Demonstrate lower

This would not have been a very good demonstration of
comonad-transformers if lower, the only method of ComonadTrans,
had not been used.