module O (O) where

class O a where