path: root/testsuite/tests/typecheck/should_fail/tcfail155.hs

{-# LANGUAGE GADTs #-}

-- Data type returns the wrong type

module ShouldFail where

data T a where
     P :: L1 -> L2

data L1 = L1
data L2 = L2