IFC monad for people attending the WG2.8 meeting