title: Defining a property in haskel locally
body: <p>I have written this property check in haskell:</p>
  
  <pre><code>prop_XY (x,y) sud = ((!!) (rows (sud)) x) !! y
  </code></pre>
  
  <p>and i need to define this locally, any suggestions on how to do it as i am clueless how to do it?</p>
  
  <p><strong>EDIT</strong></p>
  
  <p>So this is the two prop functions i have, and i need to define the second one locally.</p>
  
  <pre><code>-- Check update function
  prop_update (x,y) sud n = prop_XY (x',y') (update sud (x',y') n) == n 
                            where x' = x `mod` 9 
                                  y' = y `mod` 9
  
  -- helper to find specific value 
  prop_XY (x,y) sud = ((!!) (rows (sud)) x) !! y
  </code></pre>