module Main where import RelationPropertiesSpec import Test.Hspec main :: IO () main = hspec spec