Click num_types.hs link to view the file.