more methods, hask, php et al