Managed to type tesser, compile-fold, and assert-compiled-fold.