On an extension of functional languages by Dorp