used Maybe type constructor in tuple lookup