first batch of sigs

Two signatures sounds good. How about the following?

    (* -> a),Number -> (* -> a)
    (* -> a) -> (* -> a)