DeepControl.Monad.Morph

Level-1

trans-map

(|>|)

(|<|)

Level-2

trans-map

(|>>|)

(|<<|)

Level-3

trans-map

(|>>>|)

(|<<<|)

Level-4

trans-map

(|>>>>|)

(|<<<<|)

Level-5

trans-map

(|>>>>>|)

(|<<<<<|)

Level-2 example