@hackage defun-bool0.1

Defunctionalization helpers: booleans

This package provides type and term definitions for boolean type families in Data.Type.Bool (in base) using SBool type from singleton-bool package.