← effectUnify5Models1Symbols3Utility Types1ModelsUnifytypeUnifies types that implement the unification protocol.SymbolsignoreSymboltypeDefines the unique symbol used to specify types that should be ignored during unification.typeSymboltypeDefines the unique symbol used to identify the type information for unification.unifySymboltypeDefines the unique symbol used to identify unification behavior in Effect types.Utility TypesunifyconstApplies Unify to a value or function return type at compile time.