Title: From sketch to type