https://muaddibspace.blogspot.com/2008/11/variadic-via-gadt.html
Muad`Dib: Variadic via GADT
muad dibviagadt
https://research.tudelft.nl/en/publications/towards-improved-gadt-reasoning-in-scala/
Towards improved GADT reasoning in Scala - TU Delft Research Portal
tu delfttowardsimprovedgadtreasoning
https://gadttravel.com/
Gadt Travel: A Leading of Tour Operator in Vietnam - Gadt Travel
Book package tours, day tours, hotel and airport transfers easy with Gadt Travel - A leading of tour operator in Vienam.
tour operatorgadttravelleadingvietnam
https://spontaneousmusictribune.blogspot.com/2020/03/clarke-willberg-karlsen-tavares-trocado.html
Trybuna Muzyki Spontanicznej: Clarke, Willberg & Karlsen! Tavares, Trocado & Ward! Gadt & Olak!...
muzyka improwizowana, freely improvised music
trybunamuzykiclarke
https://nlnet.nl/project/Haskell-GADT-GHC.402/
NLnet; Stable GADT constructor syntax in Haskell
nlnetstablegadtconstructorsyntax
https://en.wikibooks.org/wiki/Haskell/Solutions/GADT
Haskell/Solutions/GADT - Wikibooks, open books for an open world
open bookshaskellsolutionsgadtwikibooks