fun of polytypic functions