Refined.Implies

class Implies from to