public static HAnd <HFalse, HTrue, HFalse> hand(HFalse a, HTrue b)
{
return(new HAnd <HFalse, HTrue, HFalse>(hfalse));
}
public static HAnd <HTrue, HTrue, HTrue> hor(HTrue a, HTrue b)
{
return(new HAnd <HTrue, HTrue, HTrue>(htrue));
}
public static HCond <HTrue, X, Y, X> hcond(HTrue t, X x, Y y)
{
return(new HCond <HTrue, X, Y, X>(x));
}