module T10890_2A where

class A a where
  has :: a