型推論の能力的には関数も全部できるけど、ドキュメント目的であえてしてないはず。