+++ /dev/null
-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