Yeah, Unison doesn’t just infer the types, it will add type signatures automatically to top-level definitions.