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

import Data.Vinyl.TypeLevel.Test
import SamePackage.Test
import TypeLevel.Append.Test


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