'0.3' :: s --> [a], s, [a]. '0.2' :: s --> [b], s, [b]. '0.1' :: s --> [a],[a]. '0.4' :: s --> [b],[b].