[dmytrish]

I am not sure I understand what you mean in the context of Haskell.

[fooker]

https://wiki.haskell.org/GADTs_for_dummies