module B(f, T) where import A