RebindableSyntax should allow rebinding tuples and lists

e.g.

{-# LANGUAGE RebindableSyntax #-}
module StrictPrelude where

data [] a = [] | !a : [a]

data () = ()
data (,) a b = (,) !a !b

Trac metadata

Trac field	Value
Version	7.7
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture