Add GADTs pragma