Add Comonad and Extend specs