Идея интересная. Можно даже попробовать сделать что-то в духе type Key = (Bits a) => a или как там правильно записать "любое значение с Bits инстансом".

Прям можно записать в список "прикольная штука, которая возможно всем пригодится, но я её никогда не сделаю" :D

полиморфные поля хранятся по ссылке, так что потеряете в памяти

ключ в худшем случае тоже хранится, когда он один на блок

Хм. А по аналогии с массивами сделать просто общий интерфейс и мешок прихардкоженых реализаций для всяких Word8, Word16?

частично сделано в https://kowainik.github.io/projects/containers-backpack

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

хотя там не по аналогии с массивами. в vector другая стратегия специализации

А в хаскеле есть какой-нибудь инструмент, который бы показал все возможные синхронные исключения которые могут вылететь из функции?

да зачем вообще нужны эти ваши исключения?🤔

Ну а зачем нужны исключения в других языках?

Чтобы забить последний гвоздь в дизайн языка

Интересная точка зрения. А ты пробовал писать на каких-нибудь языках, где исключений нет вообще?

Исключения должны валить программу, потому что это либо ошибка со стороны рантайма(StackOverflow, OutOfMemory) либо ошибка программиста, когда он не обработал кейс, который обязан был (OutOfRange). И в обоих случаях программа не валидна и её надо убивать.
Для иных ситуаций у языка обязаны быть другие способы обработки ошибок. В идеале - которые насильно навязывают вызывающему коду обработку этих самых ошибок(Result<T> в расте, Maybe в хаскеле)

Ну а ты вообще пробовал на расте писать?

Не то что бы особо много. А там что, в корпоративной разработке при имени с маленькой буквой кидают panic! ?

Эффект Error Err1 в системах эффектов, например. Оно потребует его обработать.

есть языки, в которых OutOfRange и вообще частичные вычисления исключены

Ты щас про языки с завтипами?

нет, про тотальные языки. но на тотальном языке без завтипов писать, наверно, совсем нереально