-- (fails if there isn't one)
focusp :: (Block m l -> Bool) -> LGraph m l -> Maybe (FGraph m l)
-- focus on start of block satisfying predicate
-- (fails if there isn't one)
focusp :: (Block m l -> Bool) -> LGraph m l -> Maybe (FGraph m l)
-- focus on start of block satisfying predicate