public static HEq <HSucc <N>, HZero, HFalse> eq <N>(HSucc <N> a, HZero b) where N : HNat <N> { return(new HEq <HSucc <N>, HZero, HFalse>(hfalse)); }
public static HEq <HZero, HZero, HTrue> eq(HZero a, HZero b) { return(new HEq <HZero, HZero, HTrue>(htrue)); }