path: root/testsuite/tests/polykinds/T7022.hs

{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds, TemplateHaskell #-}

module T7022 where

import T7022b

foo :: SList a -> Bool
foo = undefined