Первый шаг в решении, как мне кажется, состоит в том, чтобы прочувствовать, что аргумент и возвращаемое значение - один и тот же терм, который, однако, имеет два разных типа (иначе второе уравнение пройдет проверку). Ну а дальше думать, как заставить второе споткнуться на унификации, при том, что первое должно остаться устойчивым. Можно и без чистых фантомов решить, Either, например, подойдет.