do inductive type (mumble, grumble) exercises. interesting