[Haskell-cafe] Signature for non-empty filter

[Matthew Pocock]

On Wednesday 06 February 2008, Henning Thielemann wrote:

> If the type checker does not terminate because the checked function does
> not terminate on the example input, then the function does not pass the
> type check and as a compromise this would be ok.

Can't fault this logic. The problem is that you may have to wait quite a long 
time to discover this non-termination.

Matthew