And the only confusion is that if you wanted a function of type card arrow bool and the REPL says, suit star rank arrow bool, you have to realize that that's an equivalent type and it's okay and it's the same thing. 