edit todo
foo :: Either X (Either Y ()) = bar / baz;