Есть ли способ синтаксически имитировать пустые ограничения с помощью GHC <7.8.1?

Question

TL; DR

Есть ли способ имитировать пустые ограничения с помощью GHC < 7.8.1? Что-то похож на

{-# LANGUAGE NullaryTypeClasses #-} 
class HasCallStack 
instance HasCallStack 

так что, например,

foo :: HasCallStack => Int -> Int 

технически такой же, как

foo :: Int -> Int 

Мотивация

GHC 8.0.1 вводит HasCallStack как:

HasCallStack = (?callStack :: CallStack) 

Для прокладки совместимости Я хочу, чтобы определить HasCallStack для всех версии GHC назад к 7.0.1.

Для версий GHC, поддерживающих неактивные стеки вызовов на основе параметров, HasCallStack должен быть функционально эквивалентен тому, что мы имеем в GHC 8.0.1.

Для версий GHC, что отсутствие поддержки неявного вызова на основе параметров стека (то есть все версии GHC < 7.10.2), HasCallStack должны быть функционально эквивалентны пустому ограничения.

Для полноты, вот код, который мы могли бы использовать, если только заботиться о GHC 7.8.1 и позже:

#if MIN_VERSION_base(4,8,1) 
type HasCallStack = (?callStack :: CallStack) 
#else 
class HasCallStack 
instance HasCallStack 
#endif 

Есть ли способ, чтобы сделать эту работу для более старых версий GHC?

Для справки я добавлю свое текущее решение в качестве ответа. Но я бы хотел получить вход на других способах решения этой проблемы.

Answer 1

Я не знаю, как поддерживать тот же синтаксис, который у нас есть в GHC 8.0.1. Тем не менее, можно дополнительно добавить ограничение, используя синоним типа и Rank2Types. Следующий код работает для всех версий GHC до 7.0.1.

#if MIN_VERSION_base(4,8,1) 
type HasCallStack a = (?callStack :: CallStack) => a 
#else 
type HasCallStack a = a 
#endif 

Пример из вашего вопроса

foo :: HasCallStack => Int -> Int 

становится

foo :: HasCallStack(Int -> Int) 

Обратите внимание, что это довольно прочный. Я не сталкивался с ситуацией, когда это не сработало, например. даже работает, когда foo имеет другие ограничения или когда foo - это метод class.