<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>