folded pattern constructors into NetCore_Types