Update coto2.hs

Use view?