Add Maybe/Lazy typing via goodies.