prop_withNoArgs = True
prop_withOneArg _ = True
prop_withTwoArgs _ _ = True

test_withNoArgs = (return True) :: IO Bool
test_withOneArg _ = (return False) :: IO Bool  -- this is of the wrong type => it needs picking up so we can give an error message

decoy_symbol = prop_notTopLevel
  where prop_notTopLevel = False  -- these two are not picked up -- maybe they should provoke an error instead?
decoy = test_notTopLevel
  where test_notTopLevel = (return False) :: IO Bool

(prop_first, test_second) = (True, return True) :: (Bool, IO Bool)