2
open import AlonzoPrelude
4
showTrue : True -> String
9
C : True -> True -> True -> True -> T4
11
g : True -> True -> True
14
f14 : T4 -> True -> True
15
f14 (C x y z t) = \w -> g x t
18
mainS = showTrue $ (id ○ f14) (C tt tt tt tt) tt
b'\\ No newline at end of file'