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