scalaz.Representable
rep compose unrep is vacuous.
rep compose unrep
unrep compose rep is vacuous.
unrep compose rep