hammered Maybe [a] problem, definitive fix when support for sum types is added