{-# OPTIONS -fglasgow-exts #-}

-- Build an arrow out of two 
newtype AFF (~>) f src a b = FF (f (src a ~> src b))