abstract Compatibility = Cat ** {

-- from Noun 19/4/2008

fun
    NumInt     : Int -> Num ;     -- 57
    OrdInt     : Int -> Ord ;     -- 57

}