 
            
            
            
            
                9 Sep
                
                    2021
                
            
            
                9 Sep
                
                '21
                
            
            
            
        
    
                5:51 p.m.
            
        Hello Lawrence, Il 09 settembre 2021 alle 16:25 Galaxy Being ha scritto:
import Data.Tuple fswp :: (a, b) -> (b, a) fswp = Data.Tuple.swap
this typechecks without problem. maybe you invoked fswp without an argument? (i.e. `λ> fwsp` instead of `λ> fwsp (1,'a')`)