Mark the Type Family as Injective (if applicable) If Fam is injective, you can declare it explicitly using the InjectiveTypeFamilies extension:

{-# LANGUAGE TypeFamilies, FunctionalDependencies, InjectiveTypeFamilies #-}

type family Fam a = b | b -> a