opw :: (MonadReader Foo m, MonadReader Bar m, MonadWriter Foo m, MonadWriter Bar m) => m ()
opw = writeit (id @Foo) >> writeit (id @Bar)
opw :: (MonadReader Foo m, MonadReader Bar m, MonadWriter Foo m, MonadWriter Bar m) => m ()
opw = writeit (id @Foo) >> writeit (id @Bar)
opw = writeit (id @Foo) >> writeit (id @Bar)