FunctionalDependencies should imply MultiParamTypeClasses