Какое же зло эти именованые поля внутри GADT. Для тех, кто не понял, из хаскеля делается питон при помощи вот таких вот строчек:
```
data Foo = Bar { barField :: String }
| Baz { bazField :: String }
myFunc :: Foo -> String
myFunc foo = bazField foo
main = print (myFunc (Bar "lalalala"))
```
Пойду пробовать https://www.haskell.org/ghc/docs/7.8.3/html/users_guide/promotion.html
Цоперайт © 2010-2016 @stiletto.
update --message=C9YGET --format=markdownже, ну!