module Rn052Aux where

class C a where
    f :: a -> Bool