definition module class

class lit m :: Int -> m
class var m :: String -> m
class (+.) infixl 6 m :: m m -> m

:: Eval
instance lit Eval
instance var Eval
instance +. Eval

:: Print
instance lit Print
instance var Print
instance +. Print