BSD-3-Clause licensed and maintained by Ashley Yakeley

Module documentation for

This version can be pinned in stack with:open-witness-,2176

Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad. See the paper Witnesses and Open Witnesses (

comments powered byDisqus