{-

This test runs the infamous PARADISE benchmark,
which is the HELLO WORLD example of generic programming,
i.e., the "increase salary" function is applied to
a typical company just as shown in the boilerplate paper.

-}

> module Paradise(increase) where
> import UpdateSalaryDef(updateSalary)
> import CompanyDatatypes(Company)

> increase :: Float -> Company -> Company
> increase = updateSalary