In Haskell, a data constructor can be used partially applied:<div><br></div><div>data Pair a b = P a b</div><div><br></div><div>f = P 1</div><div><br></div><div>however, I cannot do &quot;partial pattern matching&quot;, e.g</div>
<div><br></div><div>firstCoord (P x) = x</div><div><br></div><div>does not work.</div><div><br></div><div>I guess a very important reason must exist why this is the case?</div><div><br></div><div><br></div><div><br></div>
<div><br></div><div><br></div>