type bandle -> bundle