Create 07-08-types.hs