Dahdit.Proxy
proxyFor :: a -> Proxy a Source #
proxyForF :: f a -> Proxy a Source #
proxyForFun :: (a -> x) -> Proxy a Source #
proxyForNatF :: forall (n :: Nat) f. f n -> Proxy n Source #