Agda.Compiler.Epic.ForceConstrs
makeForcedArgs
forceConstrs
forceFun