Add deprecation notice to kind-specific proxies

Author: JordanMartinez

src/Type/Data/Boolean.purs

@@ -18,6 +18,7 @@ import Prim.Boolean (True, False)
 import Type.Proxy (Proxy(..))
 
 -- | Value proxy for `Boolean` types
+-- | **Deprecated:** Use `Type.Proxy` instead
 data BProxy :: Boolean -> Type
 data BProxy bool = BProxy
 

src/Type/Data/Ordering.purs

@@ -18,6 +18,7 @@ import Type.Data.Boolean (True, False, BProxy(..))
 import Type.Proxy (Proxy(..))
 
 -- | Value proxy for `Ordering` types
+-- | **Deprecated:** Use `Type.Proxy` instead
 data OProxy :: PO.Ordering -> Type
 data OProxy ordering = OProxy