currently supports R^N \mapsto R, but we want support for R^N \mapsto R^M
R^N \mapsto R
R^N \mapsto R^M
should be easy