нельзя внутри OVERLAPPABLE инстанса сделать тайпфемели инстанс

вроде бы я уже год назад бомбил на эту тему даже

а через суперкласс можно?

т.е. когда тайпфемили выступает в роли суперкласса над классом типов, инстанс которого уже OVERLAPPABLE, так сработает?

а как тайпфемели может быть суперклассом?

если ты её как констрейнт организуешь

речь про такой простой кейс

class X a where
 type Y a

instance {-# OVERLAPPABLE #-} X a where
 type Y a = Z a

🤔хм

как подобное заматчить на твой кейс — пока не пойму (и матчится ли вообще)

а темлейт-хаскеле можно генерировать вызов темплейт-хаскеля?

а, глупость сказал

можно же напрямую вызывать темплей-хаскель функции

хочу написать квазиквоту поверх другой квазиквоты

стейдж рестрикшн не позволит

А это нормально поведение, что если я добавляю флаги в package.yaml стака и делаю stack build, оно не ребилдит файлы(если до этого я делал stack build)?
Например добавил -Wall -Werror, сделал stack bulid и не увидел ошибок. Хотя в файле они точно есть.

Не знаю, нормально ли это, но я тоже с этим сталкивался

stack clean помогает

Я нашел вот это rebuild-ghc-options
Should we rebuild a package when its GHC options change? Before 0.1.6, this was a non-configurable true. However, in most cases, the flag is used to affect optimization levels and warning behavior, for which GHC itself doesn't actually recompile the modules anyway. Therefore, the new behavior is to not recompile on an options change
Интересно, почему они говорят, что в таком случае GHC не перекомпилирует модули на самом деле

как-то в th можно узнать, из какой функции эта qq вызывается?