Skicka posten per e-post: Refining Inductive Types