> module Paradise where
> import CompanyDatatypes(Company)
> increase :: Float -> Company -> Company
> increase f c = error "PolyP cannot handle the Company datatype"

The function updateSalary can be defined for regular, 1-param. d.t.