let
bool t =
Literal
.
Bool
t |> literal