witness-0.1: values that witness types
Control.Category
Synopsis
class Category comp whereSource
(.) must be associative, and id must be a left and right identity for (.).
.
id
Methods
id :: comp a aSource
(.) :: comp b c -> comp a b -> comp a cSource
Instances