draft of polytypic functions around standard types