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