haskell comandos excell at comonads