-- no instance of Ord
-- comparePapus :: Papu -> Papu -> Bool 
-- comparePapus p p' = p > p

-- Chapter 6 "Match the types"
-- 1 
-- -- i :: Num a => a 
-- i :: a
-- --i = 1
-- i = 'c'

--f :: Float 
--f :: Num a => a 
f :: Fractional a => a
f = 1.0
f :: Fractional a => a
f = 1.0
f = 1.0