Title: A functional view on constraints