comonad: bring back 3.1 for idris