# Concepts


Concepts collects the theory that shapes the library. It is useful
when you want the design vocabulary behind the implementation:
algebraic effects, freer monads, queue-backed binds, normalization by
evaluation, and levitated descriptions.