Exploit the fact that functional dependencies are about determining instances not types to make cleaner Atomic instances.