exference-1.6.0.0: environment/Category.hs

module Control.Category where



class Category cat where
  id :: cat a a
  (.) :: cat b c -> cat a b -> cat a c