Construção de óptica utilizando TemplateHaskell
