1 2 3 4 5 6 7 8
{-# LANGUAGE GADTs #-} module Hi where -- | This is a GADT. data Hi where -- | This is a GADT constructor. Hi :: () -> Hi