子所蕴含的那样，Miranda允许无限数目元素的列表，其中最简单的是所有正数的列表：codice_16。
函数.函数应用的表示法是简单的并列，比如codice_17这样。在Miranda中，如同大多数其他纯函数式语言，函数是头等公民，就是说它们可以作为实际参数传递给其他函数，作为结果返回，被包括为数据结构的元素。进一步的，通过提供少于形式参数数目的实际参数，有两个或更多形式参数的函数可以部份的“参数化”，或柯里化。这给出了另一个函数，接受余下的形式参数，并返回一个结果。例如：