Description

# Documentation

Given any comonad-homomorphism from w to v this yields a comonad homomorphism from t w to t v.