Use singleton-GADTs for literals