Я кажется понял одну вещь...
Фри монаду лишь только для контрвариантных функторов(по крайней мере не для всех)не построить...
Давайте рассмотрим такой пример:
Free (b ->) a  - как это развернется...
1.Как (b -> (b -> (b -> (... -> a))))
То есть мы накладываем друг на друга функторы и получаем функтор...
Если опираться на эту концепцию ,то напишем что-то подобное для контрвариантов:
2.(a -> (a -> (a -> (... -> b))))
Почему так?
Потому-что иначе никак:
Так не выйдет :
(((a -> b) -> b) -> b) -> ...
Это не будет контрвариантным функтором...
Так вот,давайте посмотрим,как сделать инстанс для контрвариантного функтора(вариант 2)).
Допустим для (a -> (a -> b))
contramap f =
   fmap (contramap f). contramap f
   
Мы уже воспользовались обычным функтором...

вот эти вот b -> a ->  b ...
есть гиперфункции
https://github.com/ekmett/hyperfunctions/blob/master/src/Control/Monad/Hyper.hs#L37

Так я о hyper ничего даже не говорил и они вроде как ко мною сказанному не относятся...

Ладно, очень сложно становится. Есть эксперты по Swagger в Servant, как вы доки оформляете?

servant-swagger-ui ?

YES YES YES YES YES YES YES YES YES YES YES YES

в смысле этого достаточно или ещё что-то подсказать?

а что тебе нужно? ты же можешь инстансами дописать туда всё, что нужно, вроде..

Чтобы оно не выглядело так колхозно

тебе хтмльку другую? посмотри другие ui на хакадже, вроде, были темы ещё