module Lib where
class C