WIP tail is a comodule morphism