-- I have replaced Set by Type in order to be more in accordance with what was learned in the 
-- lecture.

package exampleSimpleDerivation (A:: Type)(B:: Type)(C:: Type)(f:: A -> B -> C) (a:: A) (b:: B) where
        
     c :: C
       = {! !}