let
the_root : abs t = (
`
Abs
, [
""
])