1 2 3 4 5 6
-- Should be rejected by Haskell 98 module Foo where type Foo = Double instance Bounded Foo