Allow bundling pattern synonyms with exported data families
[ghc.git] / testsuite / tests / patsyn / should_compile / T14058.hs
1 {-# LANGUAGE TypeInType #-}
2 module T14058 where
3
4 import T14058a (Sing(..))
5
6 foo :: Sing ('[ '[] ] :: [[a]])
7 foo = SCons SNil SNil