1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE GADTs #-} {-# OPTIONS_GHC -Wall #-} module W where import T5424a data D a where C1 :: D X C2 :: D Y f :: D X -> Int f C1 = 1