úÎ  NoneA predicate class that returns True when the unapplied base type of  ta and tb are identical. A predicate class that returns True when t is a partially-applied  "prefix" type of tab, i.e. tab can be -ed to t. KA relation between a (maybe-partially-applied) type and that type stripped  of all its arguments. &When the bare type is ambiguous (e.g. unapplied (p :: Proxy (m a))), an 2 overlapping instances type error will be raised. Given a  Proxy tab4, strip away all of its arguments, leaving the type  t. HA relation between a (maybe-partially-applied) type and that type fully  applied. Fully apply a type t& with polymorphic arguments, yielding tab. (Create a proxy value for the completely  type of tab &Force the first argument to the fully  proxy type of the second, e.g. =let x = (Left 1) `asApplied` (Proxy :: Proxy (Either Double)):t xx :: Either Double a            proxy-kindness-0.1Data.Proxy.KindnessAreEqUnapplied IsOfBaseType Unapplied unappliedAppliedapplied unappliedOf asAppliedunapapproxyOf$fAreEqUnappliedkktatbb$fIsOfBaseTypekktxfalse$fIsOfBaseTypekkttabool$fIsOfBaseTypekkttTrue$fIsOfBaseTypekkttTrue0$fUnappliedkptt$fUnappliedkProxyt$fApplied*ttab$fApplied(->)ttab