Data Pipelines that are well typed and enforce good convention