Glossary

Effect Polymorphic. A function whose effect(s) depend on the effect(s) of its function argument. See also higher-order function.

Higher-Order Function. A function that takes a function argument or returns a function.