{-# LANGUAGE GADTs, ParallelListComp #-} f = [(a,c) | a <- b | c <- d]