id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
7494,Allow compatible type synonyms to be the return type of a GADT data constructor.,topi,,"Please consider adding support for something like:

{{{
{-# LANGUAGE GADTs #-}

data Steps s y where
  Yield :: y -> FK s y -> FK s y
  Done  :: Steps s y 

newtype M y s a = M { unM :: (a -> FK s y) -> FK s y }
type FK s y = s -> Steps s y
}}}",feature request,new,normal,7.8.1,Compiler (Type checker),7.4.1,,GADT,,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,,,,