11 May
                
                    2013
                
            
            
                11 May
                
                '13
                
            
            
            
        
    
                1:06 a.m.
            
        I guess you might like then http://okmij.org/ftp/Haskell/types.html#Prepose which discusses implicit parameters and their drawbacks (see Sec 6.2).