first batch of sigs

Maybe

        * @sig (a -> b -> ... -> i -> j -> ... -> n) -> a -> b-> ... -> i -> (j -> k -> ... -> n)

?