詳細調べないまま書き込んでスマソなんだけど，
SRFIって手続きやマクロで実現できるものなの?
それとも処理系に手を加えないとダメなものもある?
foldとかはただの手続き群，単一型ベクタは処理系に手を加えなければならない，
といった感じがするのだけど．