Revert "More impossible fundeps"

This reverts commit f65767011294295cd76188d4c442a899a2506574.
Revert "Exploit the fact that functional dependencies are about determining instances not types to make cleaner Atomic instances."

This reverts commit 2bb811db229442a5c15acfaa747079bd59f71a73.