test
   :: (a1 -> a2)
   -> (a2 -> a3)
   -> (a3 -> a4)
   -> (a4 -> a5)
   -> (a5 -> a6)
   -> (a6 -> a7)
   -> (a7 -> a8)
   -> (a8 -> a9)
   -> (a9 -> a10)
   -> a1 -> a10
test = _