Question

I am trying to implement a simple min function that accepts two parameters & returns True if the first must appear before the second in sorted order, False otherwise:

min :: a -> a -> Bool
min a b = if a < b then True else False

I get:

No instance for (Ord a)
arising from a use of `<'

Answer 1

You need a type constraint for < to work:

min :: Ord a => a -> a -> Bool
--     ^^^^^