BadTelescope5.hs:10:81: error:
    • Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
    • In the second argument of ‘SameKind’, namely ‘d’
      In the type signature:
        bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a).
               Proxy c -> SameKind b d