3.1.1 to do
Is dynamic binding a key aspect?
   example is it possible to extend
     data Pet = Cat | Dog 
     data Domestic = Pet | |Cow | Horse

is qouted_var = '{ x  * y + z }
applied quoted_var ( x = 2, y = 4, z = 6 )
Top