tilgovi 24 Mar 2018 in Public PureScript does not support GADTs https://en.wikibooks.org/wiki/Haskell/GADT GADT fp