module P() where
import A
import B

bar = x :: Int