id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4271,Cannot declare multiparameter type class with TypeOperators.,Khudyakov,,"This code lead to error message: ""Malformed instance header""
{{{
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE MultiParamTypeClasses #-}

class f :<: g

instance () :<: ()
}}}

If instance declaration changed to code below it compiles just fine.
{{{
instance (:<:) () ()
}}}",bug,closed,normal,,Compiler,6.12.3,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,,,,,