tailrec
spire
term
arb
gen
trilean
arb
gen