/// Type-checking monad.
pub mod monad;

/// Typ(e-check)ing rules.
pub mod rules;