module Doe where

    maxD :: a -> a -> a
maxD a
x a
y 
        | a
xa -> a -> Bool
forall a. Ord a => a -> a -> Bool
>a
y = a
x

    maxD a
x a
y 
        = a
y