auto-lift Hask comonads