Move aliases for Liskov and Leibniz into scalaz._