module Bar (data P, T(data P), data f) where import N (data P) import N (T(data P)) import N (data f)