Ffamilytype family (%) (t :: k1) (b :: k2) :: ErrorMessage wherePeek#Equations(%) t b = ToErrorMessage t ':$$: ToErrorMessage b
Ffamilytype family (<>) (l :: k1) (r :: k2) :: ErrorMessage wherePeek#Equations(<>) l r = ToErrorMessage l ':<>: ToErrorMessage r