Overloading and overlap

Hi all, does anyone know about any existing extensions to FFI or even to GHC which incorporate access to overloaded methods, which are common in OO environments (.NET, Java), without using "renaming techniques" ? Thanks in advance, -- ________________________________ Monique Louise B.Monteiro Msc Student in Computer Science Center of Informatics Federal University of Pernambuco