Как попросить ghci нормализовать сигнатуру, в которой присутствуют типо-синонимы и типо-семейства?