higher kindedは無理そうに見える