Do strict fields work with GADTs?  If so, what&#39;s the syntax for the strictness annotations?   - Conal<br>