Core opaque types for EVM interaction.

All types are opaque — you can't accidentally pass a TxHash where an Address is expected. Construction validates format and returns Maybe so invalid input is a compile-time-visible code path, not a runtime crash.

import Web3.Types as T


-- Validate on input boundary (e.g. from a URL param or user field):
case T.address rawString of
    Just addr ->
        -- addr : T.Address — safe to use everywhere
    Nothing ->
        -- show validation error


-- BlockNumber is used by Contract.Call, Block, Fee, and Query:
T.encodeBlockNumber T.Latest    == Json.Encode.string "latest"
T.encodeBlockNumber (T.BlockNum 1000) == Json.Encode.int 1000

Wei is an alias for Web3.BigInt.BigInt — use Web3.Units.formatEther to convert to a human-readable string.