зачем?

> update :: model -> event -> Update event model

Инконсистанси

z' = flip {x:_, y:_} 100 200

будет {x: 200, y:100}

Ну, это на уровне значений

ну через Flip

если UpdateM будет бифунктором

или поменяй аргументы при определении UpdateM

Да, гениально

type Update model event = UpdateM event model

newtype UpdateM event model = Update { model :: model, affs :: Array (Aff event) }

и сделай бифунктором, чтобы мапить по обе стороны если надо

вот только я бы update делал смесью Writer + Reader

Тут немного другой Update имеется в виду

Это просто описание реакции на ивент, грубо говоря

Хм, странно:

instance bifunctorUpdate :: Bifunctor Update where
  bimap f g (Update context) = Update context { model = f context.model, affs = (map g) <$> context.affs }

instance functorUpdate :: Functor (Flip Update model) where
  map f (Update context) = Update context { model = f context.model }

Говорит:

Orphan instance functorUpdate found for

   Data.Functor.Functor (Flip Update model)

 This problem can be resolved by declaring the instance in Data.Bifunctor.Flip or Data.Functor, or by defining the instance on a newtype wrapper.

in type class instance

 Data.Functor.Functor (Flip Update model)

нельзя без еще одного ньютайп написать

newtype FlippedUpdate ... = FlippedUpdate (Flip ...)

а иначе орфаны)