case_zigzag_zig :: Assertion
case_zigzag_zig = snd (member 4 t_zigzag_zig) @?== a_zigzag_zig
case_zigzag_zig :: Assertion
case_zigzag_zig = snd (member 4 t_zigzag_zig) @?== a_zigzag_zig
case_zigzag_zig = snd (member 4 t_zigzag_zig) @?== a_zigzag_zig