If you don't share private state, then why not just make the leap and switch to typeclasses instead? Then you don't have the restriction of having to implement

If you don't share private state, then why not just make the leap and switch to typeclasses instead? Then you don't have the restriction of having to implement all the interfaces for a datatype in the same compilation unit.