anchor.diff:                          ([], world)
                   if List.forall (function String str when String.length str = 1 -> true | _ -> false) list
                   then (String (list |> List.rev |> List.map (function String str -> str.[0] | _ -> failwithumf ()) |> String.implode), world)
  -                else (Violation ([!!"InvalidResult"; !!"Functor"; !!(String.capitalize fnName)], "Function " + fnName + " applied to string's mapper must return a string of length 1.", fnOriginOpt), world)
  +                else (Violation ([!!"InvalidResult"; !!"Container"; !!(String.capitalize fnName)], "Function " + fnName + " applied to string's mapper must return a string of length 1.", fnOriginOpt), world)
               | [fn; Codata codata] ->
                   let (codata, world) = evalMapCodata evalApply fnOriginOpt fn codata world
                   (Codata codata, world)
  
positive.code:                         match evalApply [fn; acc; elem] fnOriginOpt world with
                          | (Option (Some value), world) -> (Right (value, value :: accs, world))
                          | (Option None, world) -> Left (List accs, world)
                          | _ -> Left (Violation ([!!"InvalidResult"; !!"Container"; !!(String.capitalize fnName)], "Function " + fnName + "'s folder must return an option.", fnOriginOpt), world))
                          (Right (state, [], world))
                          (Map.toList map)
                  match eir with
  
negative.code:               Table = fun _ _ originOpt -> Violation ([!!"InvalidArgumentType"; !!"Binary"; !!"Mul"], "Cannot multiply tables.", originOpt) }
  
          let DivFns =
              { Bool = fun left right originOpt -> if right = false then Violation ([!!"OutOfRangeArgument"; !!"Binary"; !!"Div"], "Cannot divide by a false bool.", originOpt) else Bool (if left && right then true else false)
                Int = fun left right originOpt -> if right = 0 then Violation ([!!"OutOfRangeArgument"; !!"Binary"; !!"Div"], "Cannot divide by a zero int.", originOpt) else Int (left / right)
                Int64 = fun left right originOpt -> if right = 0L then Violation ([!!"OutOfRangeArgument"; !!"Binary"; !!"Div"], "Cannot divide by a zero 64-bit int.", originOpt) else Int64 (left / right)
                Single = fun left right _ -> Single (left / right)
                Double = fun left right _ -> Double (left / right)
                Vector2 = fun left right _ -> Vector2 (Vector2.Divide (left, right))
  