#typescript satisfies