<Man of Letters (Mikolaj)> hi! how can I get around this type error (disregarding if this snippet has any sense or not --- it's an experiment)
~/r/horde-ad$ ghci
GHCi, version 9.14.1: https://www.haskell.org/ghc/  :? for help
ghci> :set -XTypeAbstractions
ghci> :m Type.Reflection Data.Proxy
ghci> case someTypeRep (Proxy @Double) of; SomeTypeRep (TypeRep @Double) -> "win!"
<interactive>:3:60: error: [GHC-25897]
    • Expected kind ‘k’, but ‘Double’ has kind ‘*’
      ‘k’ is a rigid type variable bound by
        a pattern with constructor:
          SomeTypeRep :: forall k (a :: k). TypeRep a -> SomeTypeRep,
        in a case alternative
        at <interactive>:3:38-66
    • In the type ‘Double’
      In a type argument: Double
      In the pattern: TypeRep @Double