いわゆるMac Lane五角形を表す型とその要素を構成せよ。