case_zigzig :: Assertion
case_zigzig = snd (member 1 t_zigzig) @?== a_zigzig
case_zigzig :: Assertion
case_zigzig = snd (member 1 t_zigzig) @?== a_zigzig
case_zigzig = snd (member 1 t_zigzig) @?== a_zigzig