+prop_respTextAtomOpt :: String -> String -> String -> Property
+prop_respTextAtomOpt codeatom codedesc text =
+ isValidAtom codeatom && isValidText codedesc && isValidText text &&
+ ']' `notElem` (codeatom ++ codedesc) &&
+ (head text) /= '[' ==>
+ p respText ("[" ++ codeatom ++ " " ++ codedesc ++ "] " ++ text) @?=
+ Just (RespText (Just (codeatom ++ " " ++ codedesc)) text)