Updated to work with `comonad` 4.0 and `profunctors` 4.0
bifunctors 4.0 compatibility