Added type-signature to top-level function.