type printing functions
more effect constants