{-|
Handler type for pattern matching on Order values.

Structure: { Less : Result, Equal : Result, Greater : Result }
-}
\(Result : Type) -> { Less : Result, Equal : Result, Greater : Result }