Question: Are there any language extensions or language descendants of Haskell, that favor expressiveness, particularly in instance handling?