さらに、後述する応用型が存在する.
、