WIP: lazify doesn't workgit add examples_types/Lazify.hsgit add examples_types/Lazify.hs