type signatures for bubblesheet problem
Merge branch 'hakaru'
Merge branch 'hakaru'