solvedBlank :: InfoExtractor v loc (B.Recorded loc, v, C.Type v loc)
solvedBlank = extractor $ \n -> case n of
  C.SolvedBlank b v t -> pure (b, v, t)
  _                   -> mzero

-- Misc --
solvedBlank :: InfoExtractor v loc (B.Recorded loc, v, C.Type v loc)
solvedBlank = extractor $ \n -> case n of
  C.SolvedBlank b v t -> pure (b, v, t)
  _                   -> mzero

-- Misc --
solvedBlank = extractor $ \n -> case n of
  C.SolvedBlank b v t -> pure (b, v, t)
  _                   -> mzero

-- Misc --