< Boolean : Bool | ListSoft_fail/Type : List (./union/Type ) >