module T7338a where a, b :: Int a = undefined b = undefined c, a :: Int c = undefined c, d :: Int d = undefined