そろそろ抜けます．heuristics関連の調べ物とかしてたらすぐ時間が過ぎてしまって， 実装の
ReaderT (Context v s a) (ST s) モナドの
Context v s a が膨れ上がっただけで終わりました．
data MFSGCtx v s a = MFSGCtx {
mfsgNumVs :: {-# UNPACK #-} !Int,
mfsgEdgesOnVs :: {-# UNPACK #-} !(V.Vector (VU.Vector Int)),
mfsgEdgeDsts :: {-# UNPACK #-} !(VU.Vector Int),
mfsgCaps :: !(v s a),
mfsgVsrc :: {-# UNPACK #-} !Int,
mfsgVdst :: {-# UNPACK #-} !Int,
mfsgExcesses :: !(v s a),
-- | Levelwise single linked lists of active nodes.
mfsgActiveListHeads :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgActiveListNexts :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgLevels :: {-# UNPACK #-} !(VUM.MVector s Int),
-- | Levelwise double linked lists of nodes.
mfsgLevelListHeads :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgLevelListNexts :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgLevelListPrevs :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgNextEdge :: {-# UNPACK #-} !(VUM.MVector s Int),
mfsgGap :: {-# UNPACK #-} !(DMut.PRef s Int)
}でかい型ですねえ…．