Как я могу использовать синоним типа в объявлении экземпляра?

#haskell #haskell Вопрос: Я хотел бы создать синонимы для ограничения класса, как в следующем (очень упрощенном) примере {-# LANGUAGE ConstraintKinds #-} type Foo = Functor data MyFunctor a = MyFunctor…