size = 2   Test.f = \#1 #2 #3 -> case #1 of {#5:#6 -> case #5 of {Data.Bool.True -> #2; _ -> #3}; [] -> case Data.List.$v#2 of {Data.Bool.True -> #2; _ -> #3}; _ -> case Data.List.$v#3 of {Data.Bool.True -> #2; _ -> #3}}
size = 2   Test.g = \#9 #10 #11 -> case #11 of {#13:#14 -> case #13 of {Data.Bool.True -> #9; _ -> #10}; [] -> case Data.List.$v#2 of {Data.Bool.True -> #9; _ -> #10}; _ -> case Data.List.$v#3 of {Data.Bool.True -> #9; _ -> #10}}
