Agda.Compiler.Epic.Forcing
data FoldState