Is there a nicer way to extract the 'IO String' from 'IOS', without 'case' or without pattern matching the whole 'P'?