λx.case x of
	Test -> 1
	B y  -> y y
	Cons x xs -> x xs
	Bla       -> λy.y y
(Cons 5 Nil)