In this post, discover how PlutusType provides the Monad-like interface at the heart of Plutarch, bridging low-level Term abstractions to deploy Plutus Core scripts. We unpack the internals of the Term type, explore both manual and via-deriving PlutusType instances, and show you how to write composable, type-safe on-chain logic.

Covenant introduces a Turner-total, call-by-push-value, serializable DSL designed for reliable, secure programming in domains like smart contracts. It guarantees termination, safe execution, and predictability. By serving as a target for higher-level tools, Covenant supports composability and serialization, enabling developers to create robust applications with confidence in correctness and performance.