Notebook @ Functorial
complex dynamics (Daniel_Geisler)