Module Caqti_commonSource

Prerequisites.

Sourcetype counit
Sourceval absurd : counit -> 'a