Roadmap Replicate the schema with bifunctors so it can work on any datatype and not only just simple recursive ones. Add generic map Get rid of @unchecked in the pattern match Add presentations