data T = ( "0" | "1" ) . ( "0" | "1" )*;

f ( x :: T, y :: T ) = x . "," . y;
g ( x :: T, y :: T ) = x . "0" . y;
