EPA: no annotation for 'type' in Parser.y 'type_data_or_newtype' rule
The rule
type_data_or_newtype :: { Located (AddEpAnn, Bool, NewOrData) }
: 'data' { sL1 $1 (mj AnnData $1,False,DataType) }
| 'newtype' { sL1 $1 (mj AnnNewtype $1,False,NewType) }
| 'type' 'data' { sL1 $1 (mj AnnData $1,True ,DataType) }
does not return a AnnType
annotation in the third production.