some more intro to coalg