<div dir="ltr">Sometimes I have a type like:<div><br></div><div>    data A = A1 Int | A2 Int Int</div><div><br></div><div>Then if I want to do pattern matching and ignore the parameters I do:</div><div><br></div><div>    f (A1 _) = ..</div><div>    f (A2 _ _) = ...</div><div><br></div><div>But that's annoying; I need to remember how many parameters each one has!</div><div><br></div><div>Yesterday I learned I can just do this:</div><div><br></div><div>    f A1 {} = ...</div><div>    f A2 {} = ...</div><div><br></div><div>And GHC is happy.</div><div><br></div><div>Is this expected? Am I the last to learn about this trick?</div><div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr">Noon van der Silk, ن<br><br><a href="http://silky.github.io/" target="_blank">http://silky.github.io/</a><br><br>"My programming language is kindness."</div></div></div></div></div>