/doc/bugs/Matching_oddity_in_SafeCommand.hs/