X
[A,B,C True,D A]
X
M (Just 97)
Z X