That declares those fields to be strict. See also <a href="http://www.haskell.org/haskellwiki/Performance/Data_types">http://www.haskell.org/haskellwiki/Performance/Data_types</a><br><br>On Friday, June 6, 2014, Song Zhang <<a href="mailto:vxanica@gmail.com">vxanica@gmail.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">This is about syntax of Haskell.<div>I am reading the source code of Yampa. I find that a definition like the following</div>
<div><div><br></div><div>data SF' a b where</div><div>    SFArr   :: !(DTime -> a -> Transition a b) -> !(FunDesc a b) -> SF' a b</div>
</div><div><br></div><div><br></div><div>in Yampa.hs.<br></div></div>
</blockquote>