path: root/testsuite/tests/dependent/should_run/T11311.hs

module T11311 where

import Data.Kind

foo :: ()
foo = (id :: * -> *) undefined `seq` ()

main = print foo