Thanks for the kind words! To try to answer your questions: - We are debating whether to allow a limited form of overlapping instances. No decision has been ma

Thanks for the kind words! To try to answer your questions: - We are debating whether to allow a limited form of overlapping instances. No decision has been made yet. - Flix uses the Options and Errors. Flix also has monadic let* making it easier to work with these two types. - UFCS had to be removed because it caused unavoidable ambiguities with records :( - I am not sure I understand the question about instance resolution. Feel free to stop by our Gitter channel to discuss further.