First Japanese version of "Type Providers From the Ground Up".