module Test where
import Data.List

main :: IO () 
main = return ()

f::(Ord b, Show b, Eq a) => b -> a 
f = undefined


module Test where
import Data.List

main :: IO () 
main = return ()

f::(Ord b, Show b, Eq a) => b -> a 
f = undefined

