Hello, We are looking for papers about integrating type classes into an SML-style module system. Does anyone have any papers or pointers? Thanks, - Tom Murphy