Beta

Loading Kata: Inductive types are initial algebras