typeMismatch :: ErrorExtractor v loc (C.Context v loc)
typeMismatch = cause >>= \case
  C.TypeMismatch c -> pure c
  _                -> mzero
typeMismatch :: ErrorExtractor v loc (C.Context v loc)
typeMismatch = cause >>= \case
  C.TypeMismatch c -> pure c
  _                -> mzero
typeMismatch = cause >>= \case
  C.TypeMismatch c -> pure c
  _                -> mzero