Good. About SomeTypedType, we decided no. Don't remember why from the top of my head. Maybe @szeiger remembers.