== Laws ==                                                                                   
quickspec_laws :: [(String, Property)]                                                       
quickspec_laws =                                                                             
  [ ( "cat x failMatch = failMatch"                                                          
    , property $                                                                             
        \ (x :: Regex Bool3) ->                                                              
            cat x failMatch =~= failMatch)                                                   
  , ( "cat failMatch x = failMatch"                                                          
    , property $                                                                             
        \ (x :: Regex Bool3) ->                                                              
            cat failMatch x =~= failMatch)                                                   
  , ( "cat (cat x y) z = cat x (cat y z)"                                                    
    , property $                                                                             
        \ (x :: Regex Bool3)                                                                 
          (y :: Regex Bool3)                                                                 
          (z :: Regex Bool3) ->                                                              
            cat (cat x y) z =~= cat x (cat y z))                                             
  ]                                                                                          
                                                                                             
== Functions ==                                                                              
(/=) :: Char -> Char -> Bool                                                                 
both :: Regex Bool3 -> Regex Bool3 -> Regex Bool3                                            
                                                                                             
== Laws ==                                                                                   
quickspec_laws :: [(String, Property)]                                                       
quickspec_laws =                                                                             
  , ( "x /= y = y /= x"  --  <-- uh oh! there is no opening [ here
    , property $