なるほど、ありがとうございます :+1: とすると、中野先生のbad hackなやつをrefinementして使うのが良さそうですね :smiley: