module F where

import O (O)

newtype F = F ()
instance O F where