ну, значит, один из трёх

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

Можно определить свой тапл aka heterogeneous list, параметризовнный списком типов, так что например HList '[a, b, c] ~= (a, b, c), и использовать как HList (Replicate 10 Int).

Можно определить ad-hoc type family ListToTuple, которая будет преобразовывать '[a, b, c] в (a, b, c), и использовать как ListToTuple (Replicate 10 Int).

(Ну и если цель представить ровно n интов лучше просто взять fixed-size vector)

Гист с кодом: https://gist.github.com/aadaa-fgtaa/aa0ac8375c18c1b56026258fe40e94f2

У кого-то работает форматтер с HLS, поделитесь конфигом редактора? Я пробовал ormolu & brittany, LSP не форматирует код.
upd: оказывается недавно в январе был замержен фикс, что пофиксил работу hls с brittany

Я вообще хочу compile time типы вычислять, как это можно в С++ или расте с процмакросами, не обязательно таплы. Т.е. type family это и делают?

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

В принципе да, если вы хотите в компайл тайме функции на типах это к type families

Я правда так и не понял типы чего вы хотите вычислять, ну да ладно

Вот такой примера из документации printf действительно работает отлично в ghci, но в коде ghc ругается:
printf "%s, %d, %.4f" "hello" 123 pi

Что сделать, чтобы заработало?
Пробовал уточнить типы аргументов, но толку от этого нет.

возвращаемый тип уточнить

printf "%s, %d, %.4f" "hello" 123 pi :: IO ()

или

printf "%s, %d, %.4f" "hello" 123 pi :: String

попробуйте

Все равно не работает, ни первый, ни второй вариант.

Попробовал поставить расширения языка как в ghci: Haskell2010, NoDatatypeConexts, _ - не помогло. 👀

да NoDatatypeConexts тут не при чем

https://github.com/haskell/haskell-language-server#language-specific-server-options
Вот тут, в пункте "Formatting provider", написано "if compiled with AGPL" — что это означает?

это ExtendedDefaultRules небось

либа с лицензией агпл условно используется

Действительно! Сработало 👀

попробуйте printf "%s, %d, %.4f" "hello" (123 :: Int) (pi :: Double) прост

Пробовал же 😁