// Macro definitions for testing laws and properties
// Core datatype tests
// Integration tests across modules
// Trait implementation tests
// Option and Result trait implementation tests
// Monad transformer tests
// Utility function tests
// Category tests