Playing with type history.