Update to v0.14.0-rc3

[JordanMartinez]

Backlinking to purescript-contrib/governance#35

[JordanMartinez]

This fails with the following error. How should we handle this situation? I'm not sure how TacitString is used downstream:

[1/1 HiddenConstructors] src/Data/TacitString.purs:1:1

      v
   1  module Data.TacitString
   2    ( TacitString
   3    , hush
      ...
  17  
  18  hush :: String -> TacitString
  19  hush = TacitString
                       ^
  
  An export for TacitString hides data constructors but the type declares an instance of Data.Newtype.Newtype.
  Such instance allows to match and construct values of this type, effectively making the constructors public.

           Src   Lib   All
Warnings   0     0/6   0/6
Errors     1     0     1  
[error] Failed to build.

[thomashoneyman]

From e944185#diff-fc8d1f080fd8a9d82fab01c6c3cc0a5ea2fd515790b0fb0255bda87b5c4e370c and 98874b7#diff-fc8d1f080fd8a9d82fab01c6c3cc0a5ea2fd515790b0fb0255bda87b5c4e370c I don't think this was ever supposed to have a Newtype instance in the first place, and I think the instance can be removed. It's only used to implement other instances and probably shouldn't be used downstream (maybe should even be in an Internal module?). @garyb, do you have thoughts?

[kl0tl]

I fixed this warning by removing the instance in #16.

[thomashoneyman]

#16 is merged

[JordanMartinez]

I've rebased on top of that branch. CI should pass now.

[garyb]

Yeah, TacitString isn't really something that is intended to be used as a normal datatype, it's only there as a helper for Show instances in recursive/higher order functors - the only things necessary for it are the type, show, and hush. 🙂