We can now check Darkwing's inductive type examples using the derived Prelude :)