Index - B
| Bifunctor1 | Type.Class.Higher |
| bimap1 | Type.Class.Higher |
| BoolC | Type.Family.Bool |
| Boolean | Data.Type.Boolean |
| BoolEqC | Data.Type.Boolean |
| BoolEquality | Data.Type.Boolean |
| bottom | Type.Class.Witness |
type-combinators-0.2.2.0: A collection of data types for type-level programming