{-# LANGUAGE PartialTypeSignatures #-}

module T12039 where

class Num _ => B a