Refinementsとは何だったのか