\ Shapeless /   \  HList /   \  Scalaz /   \ Applicative /