module T10890_2B where

class B a where
  has :: a