Module Caqti_common

Prerequisites.

type counit
val absurd : counit -> 'a