just noticed that hugs accepts those brand-new zero-parameter classes (take that, ghc!-): class A where f :: a -> a Main> :t f f :: A => a -> a might be an interesting feature, so I don't request to remove it, but thought I'd mention it here. cheers, claus