Yes. I built several of these before. The trick is to have a lattice of types at the ready.