path: root/testsuite/tests/pmcheck/should_compile/T14086.hs

{-# language EmptyCase #-}
module T14086 where
import Data.Kind

f :: Type -> Int
f x = case x of