Func1<T, A> typedef

T Func1 ([A a ])