path: root/testsuite/tests/gadt/T3163.hs

{-# LANGUAGE GADTs, RankNTypes, ImpredicativeTypes #-}

-- Test #3163

module Report where

data Taker a where
    Unreached :: Taker (forall s. s)