1 2 3 4 5 6 7
{-# LANGUAGE GADTs, TypeOperators #-} module T15209 where import GHC.Exts foo :: a ~# Int -> () foo = ()