DeepControl.Monad.Morph
Level-1
(|>|)
(|<|)
Level-2
(|>>|)
(|<<|)
Level-3
(|>>>|)
(|<<<|)
Level-2 example