Refining Typers' explanation on README