type signatures for bubblesheet problem