MAC.Core

data Res l a

labelOf

data MAC l a

runMAC

ioTCB