{ Type = ./Type
, comonad = ./comonad
, convolution = ./convolution
, functor = ./functor
}