comonad puzzlers
more on costrong post
Merge branch 'master' into cobind_puzzle
finished costrong comonad post