type case definition. There are any references about type case definition in here. you can look below.