Doc TagOf#onF, TagOf is a ~> after a fashion.