Type constraint for any typed subroutine.