{-# OPTIONS_GHC -Wno-redundant-constraints #-}

module Plutarch.Internal.Witness (witness) where

import Data.Proxy (Proxy)

witness :: c => Proxy c -> ()
witness :: forall (c :: Constraint). c => Proxy @Constraint c -> ()
witness Proxy @Constraint c
_ = ()