WIP Triangle cat
WIP Tri is a relative comonad