合成可能な制約型 by Michael Perucca