module Arithmetic where data GAnswer = GNo | GYes data GObject = GNumber GInt data GQuestion = GEven GObject | GOdd GObject | GPrime GObject class Gf a where gf :: a -> Tree fg :: Tree -> a