関手関手函手かんしゅかん'しゅ

Math.Funktor