Ну и инстанс тоже будет, видимо

Да, точно, они экспортируются и импортируются как обычно, только использовать как функцию нельзя

Ммм, теперь можно легально написать такое

module Foo ( Foo ( foo ), foo ) where

где одно селектор а другое нормальная функция, но при попытке импортировать

import Foo ( Foo ( foo ), foo )

будет

    
Ambiguous name ‘foo’ in import item. It could refer to:
      Foo.foo
      Foo.Foo(foo)

а разве нельзя просто указать import Foo ( Foo.Foo( foo ), Foo.foo), как и предлагает компилятор?

В том-то и дело что нельзя, будет

Bar.hs:5:27: error: Illegal qualified name in import item: Foo.foo
  |
5 | import Foo ( Foo ( foo ), Foo.foo )

грустно(

в экспорте можно квалифицированные писать зато

Правильно я понимаю что это баг гхц?

{-# LANGUAGE UndecidableInstances, UndecidableSuperClasses, ConstraintKinds, FlexibleInstances, GADTs, QuantifiedConstraints #-}

class c => Hold c
instance c => Hold c

data Dict c = c => Dict

anythingDict :: Dict c
anythingDict = go
  where
    go :: (Hold c => c) => Dict c
    go = Dict

Дает зацикленный словарь (8.10.4 и 9.0.1)

Rec {
$dHold_rxi :: forall {c :: Constraint}. Hold c
$dHold_rxi = $dHold_rxi
end Rec }

anythingDict :: forall (c :: Constraint). Dict c
anythingDict = \ (@c) -> Dict ($dHold_rxi `cast` <Co:2>)

Доки к UndecidableInstances и UndecidableSuperClasses говорят что они may result in non-termination of the typechecker, а про нонтерминэйшн в рантайме не говорят.

Выглядит так, будто ты достаёшь инстанс из воздуха, и просто сам написал бесконечный цикл

От бесконечных циклов в хаскеле тебя никто не защищает

От бесконечных циклов на терм-левеле да, а вот на уровне констрейнтов я такого не ожидал

можно считать, что классы на уровне типов, а инстансы на уровне значений, тогда всё логично

Короче просто зарепорчу, пусть там сами решают documentation issue это или баг

Заинтересовался вопросом, шо такое ConstraintKinds, в hackage прописана ссылка на репозиторий, а там

This library is depricated in favor of my subhask library.

Это что значит? Использование данного экстеншина на свой страх и риск?
В репозитории последнее изменение лет 7 назад сделано.
Но в хакадже ограничения по base от 3 до 5 версий и пишут скачивался архив 19 раз за последний месяц, то есть используется оно

экстеншен и либа не связаны

экстеншен это фича компилятора а не либа

https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/constraint_kind.html

поэтому и искать нужно в мане компилятора

<del>Про экстеншин только в доке на компилятор смотреть инфу?</del>
И значит ли протухлость либы и существование экстеншина с таким же именем что функционал дибы был добавлен в компайлер как экстеншин?

я честно говоря вообще ничего не знаю про эту либу и впервые слышу про нее

ага, посмотрел, эта либа про совсем другое, и смысла в ней особого нет. Либа просто использовала экстеншен для решения одной из задач

почему автор назвал либу таким именем не очень понятно