Agda.Compiler.Epic.ForceConstrs

makeForcedArgs

forceConstrs

forceFun