ghc/tests/rename/should_compile/Rn016.hi

   1 _interface_ Rn016 1 302
   2 _exports_
   3 Rn016 K(op1 op2);
   4 _instances_
   5 instance {K PrelBase.Int} = $d1;
   6 instance {K PrelBase.Bool} = $d2;
   7 instance _forall_ [a] => {K [a]} = $d3;
   8 _declarations_
   9 1 $d1 _:_ {K PrelBase.Int} ;;
  10 1 $d2 _:_ {K PrelBase.Bool} ;;
  11 1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;;
  12 1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ;