p respText ("[" ++ s2 ++ "] " ++ s1) @?=
Just (RespText (Just s2) s1)
where s1 = reverse s2 -- Gen manually to avoid test exhaustion
p respText ("[" ++ s2 ++ "] " ++ s1) @?=
Just (RespText (Just s2) s1)
where s1 = reverse s2 -- Gen manually to avoid test exhaustion