Control.CCA
(>>>)
(<<<)
first
second
(***)
(&&&)
loop
class Arrow a
class ArrowLoop a
class ArrowInit a
arr
init
constant
norm
normOpt