Ben Moon 0929a393a6 Remove unnecessary helper ... @mintsoft Thus I reduce my laziness...		2016-07-11 15:57:43 +01:00
..
List.t	Remove unnecessary helper	2016-07-11 15:57:43 +01:00