first batch of sigs

Wouldn't it be this?

     * @sig (a -> b -> c -> ...) -> (b -> a -> c -> ...)

It works on an n-ary function