State

free

singleton

Arrows

snoc

Arrows

split

Choice

state

Put