Added eta expansion for constructors