仕組み的には、a と b は型が違いますよね…？