Removed Free dependency, relaxed Distributive dependency.