1 2 3 4 5 6 7 8
{-# LANGUAGE RebindableSyntax #-} module Bug where data Maybe a = Just a | Nothing foo :: [Maybe a] -> [a] foo xs = [ x | Just x <- xs ]