wrapFloat (FloatCase e b con bs) body = Case e b (exprType body) [(con, bs, body)]
wrapFloat (FloatCase e b con bs) body = Case e b (exprType body) [(con, bs, body)]
wrapFloat (FloatCase e b con bs) body = Case e b (exprType body) [(con, bs, body)]