Missing type signature for a top-level function