fooInfo :: MTypeInfo
fooInfo = MTI {
            mRetType = intT,
            mRetPol  = bottom,
            mPars    = [bottom],
            mWrites  = top,
            mExpects = [],
            mLMods   = noMods,
            mExns    = []
          }
fooInfo :: MTypeInfo
fooInfo = MTI {
            mRetType = intT,
            mRetPol  = bottom,
            mPars    = [bottom],
            mWrites  = top,
            mExpects = [],
            mLMods   = noMods,
            mExns    = []
          }
fooInfo = MTI {
            mRetType = intT,
            mRetPol  = bottom,
            mPars    = [bottom],
            mWrites  = top,
            mExpects = [],
            mLMods   = noMods,
            mExns    = []
          }