User:Ruud Koot/Computer science/Comonad