TIL WTF is GADT skolem
Что-то система типов поджимает. Дело осложняется ещё и тем что я туповат, и не вполне понимаю, чего это она. ‎- Cat-coloured object
WTF is GATD at all? Not GADT, I suspect? ‎- 9000
Ooops. GADT indeed ‎- Cat-coloured object
And yad vashem? ‎- Graf Schwanz vom Berg