16:20:34]<L29Ah> :: (Enum a, Num a) => Vector a ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S 'Z)))))))))))))))))))) как записывать такие типы на человечьем языке? 16:26:27]<ndtimofeev> Никак? 16:27:26]<L29Ah> НО КАК ЖЕ ТАК 16:27:55]<L29Ah> как хотя бы попросить ghci в одну строчку этот боилерплейт сложить? 16:28:11]<ndtimofeev> Никак? 16:29:23]<ndtimofeev> Можно использовать TypeLit, но для того чтобы понять почему они тут не будут работать тебе потребуется Александр Вершилов, а он в gitter'е или как оно там. 16:29:53]<L29Ah> и хули делать? 16:30:05]<ndtimofeev> Страдать.