add default implements for Monad and Comonad
add travis.yaml