-- !!! ds024 -- correct types on ConPatOuts

-- do all the right types get stuck on all the
-- Nils and Conses?

module ShouldCompile where


f x = [[], []]

g x = ([], [], [])