Parser error line 3: Type synonym 'X' used without declaration in module 'diningPhilosophers'.
    type chopstickId = { X, Y, Z, W, V };
                         ^
