Guards are mostly used to do pattern matching, not to specify which types a function accepts, though you can use them as such.