1 2 3 4 5 6 7 8 9 10 11
{-# LANGUAGE GADTs #-} -- Data type returns the wrong type module ShouldFail where data T a where P :: L1 -> L2 data L1 = L1 data L2 = L2