 
            
            
            
            
                20 Dec
                
                    2013
                
            
            
                20 Dec
                
                '13
                
            
            
            
        
    
                4:50 a.m.
            
        On Fri, Dec 20, 2013 at 10:22 AM, John Wiegley 
Daniel Trstenjak
writes: There are '$' and '$!', so it's just pity that '<$>' and '<$!>' would break this naming consistency, because '<$!>' wouldn't be the strict version of '<$>'.
I agree with Daniel.
What would be the strict version of <$>?