1 2 3 4 5 6 7
{-# LANGUAGE DataKinds #-} module T21605b where import Prelude wrongSig :: Prelude.true wrongSig = undefined