module Extends where

class BClass b where
  has :: b