alternate normalisation for comonads