what programming language that is designed by simon peyton-jones is used in maak?
(AND computer.programming_language (AND (JOIN computer.programming_language.language_designers m.09q82j) (JOIN (R computer.software.languages_used) m.025y41x)))