Transitioned MPTC/FD in Slice to use type families -- now there are no functional dependencies in the whole new version of the project.