class DeriveGEQ t

class DeriveGCompare t

data GComparing a b t

runGComparing

geq'

compare'