mymin x y = if x n -> n -> n mymin :: n -> n -> n mymin :: Eq n => n -> n -> n mymin :: Int -> Int -> Int mymin :: String -> String -> String and a trick question: mymin :: Num n => n-> n -> n You can test your answers first by asking Haskell for the most general type: :t mymin and then testing different types: :t mymin :: Int -> Int -> Int -}