fact: Axiom ft_ind : forall (a : Type) (P : FreeT f id a -> Prop), (forall (h : a), P (fun _ p _ => p h)) -> (forall x (h : forall r, x -> r) (b : f x) (t : FreeT f id a), P t -> P (fun s _ k => k x (h s) b)) -> forall t : FreeT f id a, P t.
imports: Hask.Control.Monad