[ ghc-Bugs-648903 ] can't declare instance for type synonim

Bugs item #648903, was opened at 2002-12-05 13:44
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=648903&group_id=8032

Category: Compiler (Type checker)
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Igor (alar)
Assigned to: Nobody/Anonymous (nobody)
Summary: can't declare instance for type synonim

Initial Comment:
Trying to load into GHCi simple program (in attached 
file) I receive error stating I can declare class instances 
only for types defined using "data". I beleive it is a bug 
because Hugs handles this situation normally.
Error message:
/igor/tst.hs:1:
    No instance for `Eq (Stack -> Stack)'
    When deriving the `Eq' instance for type `Object'

/igor/tst.hs:1:
    No instance for `Show (Stack -> Stack)'
    When deriving the `Show' instance for type `Object'

/igor/tst.hs:4:
    Illegal instance declaration for `Eq Operator'
        (The instance type must be of form (T a b c)
         where T is not a synonym, and a,b,c are distinct 
type variables)
    In the instance declaration for `Eq Operator'

/igor/tst.hs:6:
    Illegal instance declaration for `Show Operator'
        (The instance type must be of form (T a b c)
         where T is not a synonym, and a,b,c are distinct 
type variables)
    In the instance declaration for `Show Operator'


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=648903&group_id=8032