kebabs

morekebab.fs

type Rod = Dagger | Sword | Fork
type Plate = GoldPlate | SilverPlate | BronzePlate
type Bottom = Rod | Plate
type shish<'A> =
	Bottom of 'A 
	| Onion of shish<'A>
	| Lamb of shish<'A>
	| Tomato of shish<'A>
let rec isVeg kebab =
	match kebab with
		| Bottom (x) -> true
		| Onion (x) ->  isVeg x
		| Lamb (x) -> false
		| Tomato (x) -> isVeg x
let aBab = Onion(Tomato (Onion(Bottom GoldPlate)))
let anotherBab = Onion(Lamb(Onion(Tomato(Bottom 53))))
(isVeg aBab).Dump()
(isVeg anotherBab).Dump()
let rec WhatBottom kebab =
	match kebab with
		| Bottom (x) -> x
		| Onion (x) -> WhatBottom x
		| Lamb (x) -> WhatBottom x
		| Tomato (x) -> WhatBottom x
		
(WhatBottom aBab).Dump()
(WhatBottom anotherBab).Dump()