Hardware Monad Examples