test :: Proxy '[Bool]