[Haskell-cafe] generalized list comprehensions

[Andrew Coppin]

Mitchell, Neil wrote:
> In general:
>
> if boolean then [value] else []
>
> Can be written as:
>
> [value | boolean]
>   

Is there any specific reason why this is valid?