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