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')`)