Равенство ограничений

По сути, учитывая {-# LANGUAGE PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (и многое другое, если необходимо), делает ли тип (~)- оператор уровня работает с выражениями уровня типа вида Ограничение? Я попытался найти ответ в Google, но безуспешно.