Added proxies for list and Maybe.