Combinators for
λ
I
{
i
[
x
_
]
x
,
b
[
x
_
]
[
y
_
]
[
z
_
]
x
[
y
[
z
]
]
,
c
[
x
_
]
[
y
_
]
[
z
_
]
x
[
z
]
[
y
]
,
s
[
x
_
]
[
y
_
]
[
z
_
]
x
[
z
]
[
y
[
z
]
]
}