burger-3.ts

// -- EXAMPLE THAT WOULD BE WRONG
// -- wrongBurgerSpec :: IxBurgerBuilder Ready TopBunOn BurgerSpec
// -- wrongBurgerSpec = getEmptyPlate
// --   :>>= placeEmptyBun
// --   :>>= addKetchup
// --   :>>= addCheese -- Can't match PattyOn with BottomBunOn, since we haven't put on the patty, the most important part!!!
// --   :>>= addOnions
// --   :>>= noLettuce
// --   :>>= addTomato
// --   :>>= addTopBun

getEmptyPlate
    .ichain(placeEmptyBun)
    .ichain(addKetchup)
    .ichain(addCheese) // Type '"PattyOn"' is not assignable to type '"BottomBunOn"'.
    .ichain(addOnions)
    .ichain(noLettuce)
    .ichain(addTomato)
    .ichain(addTopBun);