IFC Monad