hmm.
what does appReft/toPoly even do?
hmm. whats next?
onto constraint.hs
adding TODO:EFFECT