Sometimes we want to give a type a more descriptive name. Let's say our app has a data type representing users:
{ name : String, age : Int, email : String }
And our functions on users have type signatures along the lines of:
prettyPrintUser : { name : String, age : Int, email : String } -> S...