module T3811f where

class !Foo a