almost working

still not getting types right