Type hole in pattern match

[amindfv at gmail.com]

Is this intended behavior?:

foo :: _
(foo, _) = (True, True)

Produces no warning or message at all even with -Wall

Tom