I got an answer: precede the argument types by a "!". I didn't realize that type applications then have to be parenthesized.
Do strict fields work with GADTs? If so, what's the syntax for the strictness annotations? - Conal