I got an answer: precede the argument types by a "!". I didn't realize that type applications then have to be parenthesized.<br><br><div class="gmail_quote">On Tue, Mar 31, 2009 at 4:18 PM, Conal Elliott <span dir="ltr"><<a href="mailto:conal@conal.net">conal@conal.net</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Do strict fields work with GADTs? If so, what's the syntax for the strictness annotations? - Conal<br>
</blockquote></div><br>