f: (<a>, <a>, [<a>]) → [<a>]