scalaz.Category
compose is associative.
compose
_ <<< id is vacuous.
_ <<< id
id <<< _ is vacuous.
id <<< _