この project が (T) -> T の map なのかな？