adding the main file that contains the sum type