高階関数
head/tail
pure/nothrow