spec = do
  describe "ok" $ do
    prop "test" $ (\a b -> someFunc a b == a + b)
spec = do
  describe "ok" $ do
    prop "test" $ (\a b -> someFunc a b == a + b)
spec = do
  describe "ok" $ do
    prop "test" $ (\a b -> someFunc a b == a + b)