case_zigzig_zig :: Assertion
case_zigzig_zig = snd (member 1 t_zigzig_zig) @?== a_zigzig_zig
case_zigzig_zig :: Assertion
case_zigzig_zig = snd (member 1 t_zigzig_zig) @?== a_zigzig_zig
case_zigzig_zig = snd (member 1 t_zigzig_zig) @?== a_zigzig_zig