typelevel-rewrite-rules-1.0: test/should-compile/Test.hs

import Data.Vinyl.TypeLevel.Test ()
import GHC.TypeLits.Test ()
import InstanceConstraints.Test ()
import SamePackage.Test ()
import TypeLevel.Append.Test ()


main :: IO ()
main = putStrLn "typechecks."