test :: Proxy '[ 'True]