Bluefin is a capability system
Summary
Bluefin is a Haskell capability system that reframes effects as capabilities and uses value-level arguments instead of type-level constraints to indicate effects. The article compares capability systems with traditional effect systems, discusses architectural and security implications, and includes examples and references. It positions Bluefin as a tool for enforcing architectural boundaries and security considerations in code generation and large-scale Haskell projects.