Initial Church-encoded module