unit p where
    signature A where
        class C a
    module B where
        import A
        instance C Int where