malformedEffectBind
  :: ErrorExtractor v loc (C.Type v loc, C.Type v loc, [C.Type v loc])
malformedEffectBind = cause >>= \case
  C.MalformedEffectBind ctor ctorResult es -> pure (ctor, ctorResult, es)
  _ -> mzero
malformedEffectBind
  :: ErrorExtractor v loc (C.Type v loc, C.Type v loc, [C.Type v loc])
malformedEffectBind = cause >>= \case
  C.MalformedEffectBind ctor ctorResult es -> pure (ctor, ctorResult, es)
  _ -> mzero
malformedEffectBind = cause >>= \case
  C.MalformedEffectBind ctor ctorResult es -> pure (ctor, ctorResult, es)
  _ -> mzero