Opt: some -> a