(id,-,iota)
o
. +