id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1768,More flexible type signatures for data constructors,simonpj,,"See [http://article.gmane.org/gmane.comp.lang.haskell.cafe/29409], and the rest of the thread.  The idea is to allow data constructor declarations to have things like this:
{{{
type Foo = Int -> Bool -> T

data T where
  C :: Foo
}}}
This is a silly example, but the idea is not to require the arrows to be all visible at top level, and to allow the result type to be something other than visibly `T` itself.

I'm recording this as a feature request, since it came up on Haskell Cafe, but I'm not sure that I like it.  The type signatures in data type declarations are pretty special: notably, they allow record syntax, and support strictness annotations.",feature request,new,low,_|_,Compiler,6.6.1,,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,,,,